Inferring Type Isomorphisms Generically. - Frank Atanassow; Johan Jeuring (MPC, 2004)

UUXML: A Type-Preserving XML Schema-Haskell Data Binding. - Frank Atanassow; Dave Clarke 001; Johan Jeuring (PADL, 2004)

Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. - Frank Atanassow; Johan Jeuring (Sci. Comput. Program., 2007)