UU CS
 

Generic Haskell publications/papers

Patrik Jansson, Johan Jeuring, and students of the Utrecht University Generic Programming class. Testing properties of generic functions. To appear in the informal proceedings of IFL 2006. Also available as Technical report Utrecht University UU-CS-2006-043, 2006.

Johan Jeuring, Alexey Rodriguez, and Gideon Smeding. Generating generic functions. In Ralf Hinze, editor, Proceedings of the ACM Sigplan Workshop on Generic Programming, Portland, September 16, pages 23 - 32, 2006. Also available as Technical report Utrecht University UU-CS-2006-039, 2006.

Ralf Hinze, Johan Jeuring, and Andres Löh. Comparing approaches to generic programming in Haskell. To appear in the Lecture notes of the Spring School on Datatype-Generic Programming 2006, LNCS, 2006, © Springer-Verlag. A preliminary version is available as Technical report Utrecht University UU-CS-2006-022, 2006.

Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey Rodriguez. Generic views on data types. In Tarmo Uustalu, editor, Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006, LNCS 4014, pages 209 - 234, 2006, © Springer-Verlag. An extended version of this paper is available as Technical report Utrecht University UU-CS-2006-020, 2006.

Johan Jeuring and Rinus Plasmeijer. Generic Programming for Software Evolution. In the Informal proceedings of the ERCIM workshop on Software Evolution, 2006. Also available as Technical report Utrecht University UU-CS-2006-024, 2006.

Frank Atanassow and Johan Jeuring. Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. To appear in Science of Computer Programming, special issue on Mathematics of Program Construction. Also available as Technical report Utrecht University UU-CS-2006-025, 2006.

Alexey Rodriguez, Johan Jeuring, and Andres Löh. Type Inference for Generic Haskell. Available as Technical report Utrecht University UU-CS-2005-030, 2005.

Frank Atanassow and Johan Jeuring. Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding. Available as Technical report Utrecht University UU-CS-2005-008, 2005. This paper is superceded by the SCP paper on Customizing an XML-Haskell data-binding (see 2006).

Stefan Holdermans, Johan Jeuring, and Andres Löh. Generic views on data types. Available as Technical report Utrecht University UU-CS-2005-012, 2005. This paper is superceded by the MPC paper and the corresponding revised report (see 2006).

Andres Löh and Johan Jeuring (editors), et al. The Generic Haskell user's guide, Version 1.42 - Coral release. Technical report Utrecht University UU-CS-2005-004, 2005. New version of Dave Clarke, Johan Jeuring, and Andres Löh. The Generic Haskell user's guide. Technical report Utrecht University UU-CS-2002-047, 2002.

Rui Guerra, Johan Jeuring, and Doaitse Swierstra. Generic validation in an XPath-Haskell data binding. To appear in proceedings Plan-X, 2005.

Andres Löh. Exploring Generic Haskell, PhD thesis, Utrecht University, 2004.

Frank Atanassow and Johan Jeuring. Inferring Type Isomorphisms Generically. In Dexter Kozen, editor, Proceedings of the 7th International Conference on Mathematics of Program Construction, LNCS 3125, pages 32 - 53, 2004, © Springer-Verlag.

Frank Atanassow, Dave Clarke, and Johan Jeuring. UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In Bharat Jayaraman, editor, Proceedings 6th International Symposium on Practical Aspects of Declarative Languages, PADL'04, LNCS 3057, pages 71 - 85, 2004, © Springer-Verlag.

Ralf Hinze, Johan Jeuring and Andres Löh. Type-indexed data types. Science of Computer Programming 51(1-2), pages 117-151, 2004.

Frank Atanassow, Dave Clarke, and Johan Jeuring. Scripting XML with Generic Haskell. In Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003, 2003. An extended version of this paper appears as Technical report ICS Utrecht University, UU-CS-2003-023.

Andres Löh, Dave Clarke and Johan Jeuring. Dependency-style Generic Haskell. In Olin Shivers, editor, Proceedings International Conference on Functional Programming, ICFP'03, pages 141 - 152, 2003. An extended version of this paper appears as Technical report ICS Utrecht University, UU-CS-2003-022.

Ralf Hinze and Johan Jeuring. Generic Haskell: Practice and Theory. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming, LNCS 2793 © Springer-Verlag, pages 1 - 56, 2003. Technical report ICS Utrecht University, UU-CS-2003-015.

Ralf Hinze and Johan Jeuring. Generic Haskell: Applications. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming, LNCS 2793 © Springer-Verlag, pages 57 - 97, 2003. Technical report ICS Utrecht University, UU-CS-2003-016. (Lecture 1, Lecture 2, Lecture 3.)

Johan Jeuring and Paul Hagg. Generic Programming for XML Tools. Technical report ICS Utrecht University, UU-CS-2002-023. Corresponding code.

Dave Clarke and Andres Löh. Generic Haskell, Specifically. In Jeremy Gibbons and Johan Jeuring, editors. Generic Programming. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2002. ISBN 1-4020-7374-7. Kluwer Academic Publishers, pages 21 - 48, 2003.

Jan de Wit. A technical overview of Generic Haskell. Master's thesis, department of Information and Computing Sciences, Utrecht University, INF-SCR-02-03, 2002.

Dave Clarke, Ralf Hinze, Johan Jeuring, Andres Löh, and Jan de Wit. The Generic Haskell user's guide. Technical report Utrecht University UU-CS-2001-26, 2001. pdf, ps. A new version of the user's guide has been published with the beryl release of Generic Haskell. Technical report Utrecht University UU-CS-2002-047, 2002. pdf, ps.

Ralf Hinze, Johan Jeuring, and Andres Löh. Type-indexed datatypes. In Eerke A. Boiten and Bernhard Möller, editors, Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, pages 148 - 174, 2002, © Springer-Verlag. Technical report ICS Utrecht University, UU-CS-2002-011.

Ralf Hinze. Polytypic values possess polykinded types. In Roland Backhouse, J.N. Oliveira, editors, Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), Ponte de Lima, Portugal, July 3-5, 2000, © Springer-Verlag. This paper is a revised version of the report: 106K gzipped postscript.

Ralf Hinze. A New Approach to Generic Functional Programming. In Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, January 19-21, 2000. ©Copyright 2000 by ACM, Inc. NB. This paper is a revised version of the report: 114K gzipped postscript, the copy is posted by permission of ACM and may not be redistributed.

For information contact info@generic-haskell.org