Publications 2007

Atanassow, F. & Jeuring, J. Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Science of Computer Programming 65(2), pp. 72-107, 2007.

Backhouse, R., Gibbons, J., Hinze, R. & Jeuring, J. (editors) 'Lecture notes of the Spring School on Datatype-Generic Programming 2006', Lecture Notes in Computer Science 4719, Springer-Verlag, 2007.

van Eekelen, M. (editor). Trends in Functional Programming Volume 6. Selected papers from the Sixth Symposium on Trends in Functional Programming (TFP 2005), Intellect Books, 2007.

van Eekelen, M. & de Mol, M. Proving Lazy Folklore with Mixed Lazy/Strict Semantics. In: (eds) Erik Barendsen, Venanzio Capretta, Herman Geuvers and Milad Niqui. Reflections on Type Theory, l-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday, pp. 87-101, Radboud University Nijmegen, 2007.

de Groot, A., Kügler, S., Metzlar, D., Stein, J. & van Eekelen, M. Exposing High-School Students to Open Source Development with CodeYard. Working Joint IFIP Conference: WG3.1 Secondary Education, WG3.5 Primary Education. "Informatics, Mathematics, and ICT: a ‘golden triangle'". College of Computer and Information Science Northeastern University Boston, Massachusetts, USA, 27th – 29th June 2007.

Hinze, R., Jeuring, J. & Löh, A. Comparing approaches to generic programming in Haskell. In: Roland Backhouse, Jeremy Gibbons, Ralf Hinze & Johan Jeuring, editors, Lecture notes of the Spring School on Datatype-Generic Programming 2006, Lecture Notes in Computer Science 4719, pp. 72-149, Springer-Verlag, 2007.

Jansson, P., Jeuring, J. & students of the Utrecht University Generic Programming class, Testing properties of generic functions. In: Zoltán Horváth, Viktória Zsók & Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Revised Selected Papers, Lecture Notes in Computer Science 4449, pp. 217-234, Springer-Verlag, 2007.

Jeuring J. & Pasman, W. Strategy Feedback in an E-learning Tool for Mathematical Exercises. In: Volker Dötsch, Klaus Hering & Florian Schaar, editors, Proceedings 5th Workshop on e-Learning, HTWK Leipzig, Germany, pp. 7-26, October 2007.

Jeuring, J., Passier, H. & Stuurman, S. A Generic Framework for Developing Exercise Assistants. In: Proceedings of the 8th International Conference on Information Technology Based Higher Education and Training, ITHET 2007, Kumamoto City, Japan, July 2007.

van Kesteren, R., Shkaravska, O. & van Eekelen, M. Inferring static non-monotonically sized types through testing. In Rachid Echahed (ed.) Proceedings of the 16th international Workshop on Functional and (Constraint) Logic Programming (WFLP) 2007, pp. 123-139, 2007.

Kok, A.J.F. & van Liere, R. A multimodal virtual reality interface for 3D interaction with VTK. Knowledge and Information Systems, 13(2), pp. 197-219, October 2007.

Lensink, L., Smetsers, S. & van Eekelen, M. Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. In P. Merino and S. Leue (eds). Proceedings 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007). Lecture Notes in Computer Science. Springer-Verlag, Volume 4916., pp. 115-132, 2007.

Shkaravska, O., van Kesteren, R. & van Eekelen, M. Polynomial Size Analysis of First-Order Functions. In S. Ronchi Della Rocca (Ed.). Proceedings of the 8th International Conference on Typed Lambda Calculi and Applications (TLCA) 2007. June 26-28. Paris. Lecture Notes in Computer Science 4583, pp. 351-366, Springer-Verlag, 2007.