Publications 2006

Andres Löh, Johan Jeuring, and Alexey Rodriguez (editors), et al. The Generic Haskell user's guide, Version 1.60 - Diamond release. Technical report Utrecht University UU-CS-2006-049, 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.

Josje Lodder, Johan Jeuring, and Harrie Passier. An interactive tool for manipulating logical formulae. In M. Manzano, B. Pérez Lancho and A. Gil, editors, proceedings of the Second International Congress on Tools for Teaching Logic, Salamanca, Spain, September 26 - 30, 2006. Also available as Technical report Utrecht University UU-CS-2006-040, 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, Springer, 2006. 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.

Ralf Hinze, Johan Jeuring, and Andres Löh. Typed Contracts for Functional Programming. In Philip Wadler and Masimi Hagiya, editors, Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, LNCS 3945, pages 208 - 225, Springer, 2006. Also available as Technical report Utrecht University UU-CS-2006-026, 2006.

Harrie Passier and Johan Jeuring. Feedback in an interactive equation solver. In Mika Seppälä, Sebastian Xambo, Olga Caprotti, editors, Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006, pages 53 - 68, 2006, Oy WebALT Inc. An extended version of this paper is available as Technical report Utrecht University UU-CS-2006-021, 2006.