home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by F. Atanassow

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

F. Atanassow

• contact information
• my technical reports
• former member of group software technology

some publications

Atanassow, F. & Jeuring, J.T. (2007). Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Science of Computer Programming, special issue on Mathematics of Program Construction, 65, 72-107.

Atanassow, F. & Jeuring, J.T. (2006). Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. (UU-CS2006-025 ). onbekend: UU WINFI Informatica en Informatiekunde.

Atanassow, F. & Jeuring, J.T. (2005). Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding. (UU-CS2005-008 ). onbekend: UU WINFI Informatica en Informatiekunde.

Atanassow, F. & Jeuring, J.T. (2004). Inferring Type Isomorphisms Generically. In D. Kozen (Ed.), Proceedings of the 7th International Conference on Mathematics of Program Construction. (pp. 32-53). Berlin: Springer-Verlag.

Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2004). UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In B. Jayaraman (Ed.), Proceedings 6th International Symposium on Practical Aspects of Declarative Languages. (pp. 71-85). Berlin: Springer-Verlag.

Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2003). Scripting XML with Generic Haskell. In Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003.

Atanassow, F., Clarke, D.G. & Jeuring, J.T. (2003). Scripting XML with Generic Haskell. : Utrecht University.