List of Publications


2014

Bastiaan Heeren and Johan Jeuring Feedback services for stepwise exercises (accompanying material). To appear in Science of Computer Programming, Special Issue on Software Development Concerns in the e-Learning Domain, 2014.

Sean Leather, Johan Jeuring, Andres Löh, and Bram Schuur. Type-changing rewriting and semantics-preserving transformation. In Wei-Ngan Chin and Jurriaan Hage, editors, Proceedings of PEPM 2014: the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation, 109 - 120, ACM, 2014.

Bram Vaessen, Frans Prins, and Johan Jeuring. University students' achievement goals and help-seeking strategies in an intelligent tutoring system. Computers and Education, volume 72, 196 - 208, 2014.


2013

Johan Jeuring, Rick van Rooij, and Nicolas Pronost. The 5/10 method: a method for designing educational games. In Proceedings of GALA 2013: the Games and Learning Alliance conference, to appear, Springer, 2013.

Johan Jeuring. Finding palindromes: variants and algorithms. In Peter Achten and Pieter Koopman, editors, The beauty of functional code - Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday, LNCS 8106, pages 258 - 272, Springer, 2013.

Nikolaos Bezirgiannis, Johan Jeuring, and Sean Leather. Usage of generic programming on Hackage - Experience report -. In Proceedings of WGP 2013: the 9th ACM SIGPLAN Workshop on Generic Programming, ACM, 2013.

Eric Andrés, Bastiaan Heeren, and Johan Jeuring. Towards automatic generation of domain-specific mathematical input support. In Proceedings MathUI 2013: Workshop on Mathematical User Interfaces, 2013.

Joeri van Eekelen, Sean Leather, and Johan Jeuring. Type-Changing Program Transformations with Pattern Matching. In Proceedings HART 2013: Workshop on Haskell and Rewriting Techniques.

Jose Emilio Labra Gayo, Johan Jeuring, and Jose María Álvarez Rodríguez. Inductive triple graphs: a purely functional approach to represent RDF. In Madalina Croitoru, Christophe Gonzales, Sebastian Rudolph, and Stefan Woltran, editors, Proceedings GKR 2013: 3rd International Workshop on Graph Structures for Knowledge Representation and Reasoning, Springer, 2013.

Johan Jeuring. The history of finding palindromes. In Jurriaan Hage and Atze Dijkstra, editors, Een lawine van ontwortelde bomen - Liber Amicorum voor Doaitse Swierstra, 27 - 33, 2013.

Tom Hastjarjanto, Johan Jeuring, and Sean Leather. A DSL for describing the artificial intelligence in real-time video games. In Proceedings GAS 2013: the 3rd International Workshop on Games and Software Engineering, 8 - 14, IEEE, 2013.


2012

Johan Jeuring and Bastiaan Heeren. Feedback genereren in leeromgevingen voor algebra (in Dutch). To appear in Nieuw Archief voor Wiskunde, 2012. Also available as Technical report Utrecht University UU-CS-2012-011.

Johan Jeuring, Patrik Jansson, and Cláudio Amaral. Testing type class laws. In Proceedings of Haskell 2012: the 5th ACM SIGPLAN symposium on Haskell, ACM, 2012. Also available as Technical report Utrecht University UU-CS-2012-008.

Steven Keuchel and Johan Jeuring. Generic conversions of abstract syntax representations. In Proceedings of WGP 2012: the 8th ACM SIGPLAN Workshop on Generic Programming, ACM, 2012. Also available as Technical report Utrecht University UU-CS-2012-009.

Johan Jeuring, Alex Gerdes, and Bastiaan Heeren. Ask-Elle: A Haskell tutor - Demonstration -. In Proceedings EC-TEL 2012: the 7th European Conference on Technology Enhanced Learning, Springer, 2012. Also available as Technical report Utrecht University UU-CS-2012-010.

Alex Gerdes, Bastiaan Heeren, and Johan Jeuring. Teachers and students in charge --- Using annotated model solutions in a functional programming tutor. In Proceedings EC-TEL 2012: the 7th European Conference on Technology Enhanced Learning, Springer, 2012. An extended version is available as Technical report Utrecht University UU-CS-2012-007.

Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, and Volker Sorge, editors. Proceedings of CICM 2012: Intelligent Computer Mathematics, 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Bremen, Germany, July 9 - 13, 2012, LNAI 7362, Springer, 2012.

Alex Gerdes, Johan Jeuring, and Bastiaan Heeren. An interactive functional programming tutor. In Proceedings of ITICSE 2012: the 17th Annual Conference on Innovation and Technology in Computer Science Education, 2012. Also available as Technical report Utrecht University UU-CS-2012-002.

Diederik M. Roijers, Johan Jeuring, and Ad Feelders. Probability estimation and a competence model for rule based e-tutoring systems. In Proceedings of LAK 2012: the Second International Conference on Learning Analytics and Knowledge, 2012. Also available as Technical report Utrecht University UU-CS-2012-003

Johan Jeuring, Alex Gerdes, and Bastiaan Heeren. A programming tutor for Haskell. In Viktória Zsók, Zoltan Horváth, and Rinus Plasmeijer, editors, Proceedings of CEFP 2011: Central European School on Functional Programming, Budapest, June 2011, LNCS 7241, 1 - 45, Springer, 2012. Also available as Technical report Utrecht University UU-CS-2012-005.


2011

Josje Lodder and Johan Jeuring. Math-Bridge, bridging the math gap between high school and universities. In Proceedings EADTU annual conference 2011, pages 177 - 185, 2011.

José Pedro Magalhães and Johan Jeuring. Generic programming for indexed datatypes. In Proceedings Workshop on Generic Programming, WGP 2011, pages 37 - 46, ACM, 2011. Also available as Technical report Utrecht University UU-CS-2011-021, 2011.

Josje Lodder and Johan Jeuring. Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten (in Dutch). In Karel Lemmen and Evert van de Vrie, editors, Proceedings Nederlands Informatica Onderwijs Congres, NIOC 2011, pages 169 - 174, Open Universiteit The Netherlands, 2011. Also available as Technical report Utrecht University UU-CS-2011-030, 2011.

Ernst Koldenhof, Johan Jeuring, and Sandra Ruth. Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode (in Dutch). In Karel Lemmen and Evert van de Vrie, editors, Proceedings Nederlands Informatica Onderwijs Congres, NIOC 2011, pages 133 - 147, Open Universiteit The Netherlands, 2011. Also available as Technical report Utrecht University UU-CS-2011-031, 2011.

Bastiaan Heeren and Johan Jeuring. Interleaving strategies. In J.H. Davenport et al, editors, Proceedings of Calculemus/MKM 2011, LNAI 6824, 196 - 211, Springer, 2011. Also available as Technical report Utrecht University UU-CS-2011-016, 2011.

Johan Jeuring, José Pedro Magalhães, and Bastiaan Heeren. Generic programming for domain reasoners. In Zoltán Horváth, Viktória Zsók, Peter Achten, and Pieter Koopman, Proceedings of TFP 2009: 10th Symposium on Trends in Functional Programming, pages 113 - 128, Intellect, 2011. An earlier version appeared as Technical report Utrecht University UU-CS-2009-016, 2009.


2010

ACM DL Author-ize serviceGeneric selections of subexpressions
Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring
WGP '10 Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 2010


ACM DL Author-ize serviceA generic deriving mechanism for Haskell
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
Haskell '10 Proceedings of the third ACM Haskell symposium on Haskell, 2010


ACM DL Author-ize serviceUsing strategies for assessment of programming exercises
Alex Gerdes, Johan T. Jeuring, Bastiaan J. Heeren
SIGCSE '10 Proceedings of the 41st ACM technical symposium on Computer science education, 2010


ACM DL Author-ize serviceOptimizing generics is easy!
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, 2010


Alex Gerdes, Bastiaan Heeren, and Johan Jeuring. Properties of exercise strategies. In Hélène Kirchner and César Muñoz, editors, Proceedings of IWS 2010: 1st International Workshop on Strategies in Rewriting, Proving, and Programming, Electronic Proceedings in Theoretical Computer Science 44, pages 21 - 34, 2010. Also available as Technical report Utrecht University UU-CS-2010-028, 2011.

Rolf Biehler, Pascal R. Fischer, Reinhard Hochmuth, Johan Jeuring, and Thomas Wassong. How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge. In Proceedings of Student Mobility and ICT: World in Transition, 2010. Also available as Technical report Utrecht University UU-CS-2010-023, 2010.

Alexey Rodriguez and Johan Jeuring. Enumerating well-typed terms generically. In Ute Schmid, Emanuel Kitzelmann, and Rinus Plasmeijer, Proceedings of AAIP 2009: workshop on Approaches and Applications of Inductive Programming, LNCS 5812, pages 93 - 116, Springer, 2010. Also available as Technical report Utrecht University UU-CS-2009-017, 2009.

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, and José Pedro Magalhães. A lightweight approach to datatype-generic rewriting. Journal of Functional Programming, 20 (3/4), pages 375 - 413, 2010. An earlier version appeared as Technical report Utrecht University UU-CS-2010-008, 2010.

Bastiaan Heeren and Johan Jeuring. Adapting mathematical domain reasoners. In Proceedings MKM 2010, the 9th International Conference on Mathematical Knowledge Management, LNCS 6167, pages 315 - 330, © Springer, 2010. Also available as Technical report Utrecht University UU-CS-2010-011, 2010.

Sean Leather, Andres Löh, and Johan Jeuring. Pull-ups, push-downs, and passing it around - exercises in functional incrementalization. In Marco T. Morazán and Sven-Bodo Scholz, editors, Proceedings of IFL 2009: the 21st Symposium on Implementation and Application of Functional Languages, LNCS 6041, pages 159 - 178, Springer, 2010. An earlier version appeared as Technical report Utrecht University UU-CS-2009-024, 2009.

Bastiaan Heeren, Johan Jeuring, and Alex Gerdes. Specifying rewrite strategies for interactive exercises. In Mathematics in Computer Science 3(3), 349-370, 2010. An earlier version appeared as Technical report Utrecht University UU-CS-2009-003, 2009.


2009

ACM DL Author-ize serviceGeneric programming with fixed points for mutually recursive datatypes
Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring
ICFP '09 Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, 2009


Johan Jeuring and Bastiaan Heeren. An interactive exercise player for Math-Bridge. In Natasa Brouwer, Bas Giebers, Bart Rienties, and Leendert van Gastel, editors, Proceedings of Student Mobility and ICT: Dimensions of Transition, pages 213 - 217, Maastricht University, 2009. Also available as Technical report Utrecht University UU-CS-2009-030, 2009.

Johan Jeuring, Sean Leather, José Pedro Magalhães and Alexey Rodriguez. Libraries for generic programming in Haskell. In Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra, editors, Proceedings of the Sixth Advanced Functional Programming School, AFP'08, May 19-24 2008, Center Parcs "Het Heijderbos", The Netherlands, LNCS 5832, pages 165 - 229, 2009, Springer. An earlier version appeared as Technical report Utrecht University UU-CS-2008-025, 2008.

Bastiaan Heeren and Johan Jeuring. Canonical forms in interactive exercise assistants. In Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt, editors, Proceedings Calculemus/Mathematical Knowledge Management 2009, LNAI 5625, pages 325 - 340, 2009, Springer. Also available as Technical report Utrecht University UU-CS-2009-011, 2009.

Alex Gerdes, Bastiaan Heeren and Johan Jeuring. Constructing strategies for programming. In José Cordeiro, Boris Shishkov, Alexander Verbraeck and Markus Helfert, editors, Proceedings 1st International Conference on Computer Supported Education, Volume 1, 65 - 72, CSEDU'09, 2009. Also available as Technical report Utrecht University UU-CS-2008-049, 2008.

Bastiaan Heeren, Johan Jeuring. Recognizing strategies. In Aart Middeldorp, editor, Proceedings WRS 2008, Reduction Strategies in Rewriting and Programming, 8th International Workshop. Electronic Notes in Theoretical Computer Science, Volume 237, pages 91-106, April 2009. Also available as Technical report Utrecht University UU-CS-2008-012, 2008.

Johan Jeuring and Lambert Meertens. Geniaal programmeren - Generic programming at Utrecht. In Hans Bodlaender et al, editors, Fascination for computation, 25 jaar opleiding informatica, pages 75 - 88, 2009. Also available as Technical report Utrecht University UU-CS-2009-001, 2009.


2008





An extended version is available as Technical report Utrecht University UU-CS-2008-010, 2008.

Hans Cuypers, Gemma Corbalan, Bastiaan Heeren, Erik Jansen, Johan Jeuring, Jan Willem Knopper, Josje Lodder, Rick van der Meiden, and Wouter Pasman. Intelligente feedback in e-learning (in Dutch). TINFON, 4, pages 80 - 86, 2008.

Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Sylvia Stuurman. Feedback services for exercise assistants. Proceedings of the 7th European Conference on e-Learning, Agia Napa, Cyprus, 2008. Also available as Technical report Utrecht University UU-CS-2008-018, 2008.

Andres Löh, Johan Jeuring, Thomas van Noort, Alexey Rodriguez, Dave Clarke, Ralf Hinze, Jan de Wit. The Generic Haskell user's guide, Version 1.80 - Emerald release. Technical report Utrecht University UU-CS-2008-011, 2008.

Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, and Alex Gerdes. Specifying strategies for exercises. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, editors, AISC/Calculemus/MKM 2008, LNAI 5144, pages 430 - 445, Springer, 2008. An extended version is available as Technical report Utrecht University UU-CS-2008-001, 2008.


2007

Johan Jeuring. Feedback in exercise assistants. In the book of abstracts of Online Educa Berlin, 13th International Conference on Technology Supported Learning & Training, 2007. Also available as Technical report Utrecht University UU-CS-2007-036, 2007.

Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh. Morph Endo! Task description of the tenth interstellar contest on Fuun programming. Technical report Utrecht University UU-CS-2007-027, 2007.

Johan Jeuring, Harrie Passier, Sylvia Stuurman. 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. Also available as Technical report Utrecht University UU-CS-2007-017, 2007.

Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Lecture notes of the Spring School on Datatype-Generic Programming 2006, LNCS 4719, Springer, 2007.

Ralf Hinze, Johan Jeuring, and Andres Löh. Comparing approaches to generic programming in Haskell. In Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Lecture notes of the Spring School on Datatype-Generic Programming 2006, LNCS 4719, pages 72 - 149, 2007, Springer. An earlier version appeared as Technical report Utrecht University UU-CS-2006-022, 2006.

Sylvia Stuurman and Johan Jeuring. Turning an interactive tool implemented in Haskell into a web application -- An experience report. Technical report Utrecht University UU-CS-2007-008, 2007. (Latest version)

Johan Jeuring and Wouter Pasman. Strategy feedback in an e-learning tool for mathematical exercises. In Volker Dötsch, Klaus Hering, and Florian Schaar, editors, Proceedings 5th Workshop on e-Learning, HTWK Leipzig, Germany, pages 7 - 26, October 2007. Also available as Technical report Utrecht University UU-CS-2007-007, 2007. Corresponding code.

Frank Atanassow and Johan Jeuring. Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Science of Computer Programming 65(2), pages 72-107, 2007. An earlier version appeared as Technical report Utrecht University UU-CS-2006-025, 2006.

Patrik Jansson, Johan Jeuring, and students of the Utrecht University Generic Programming class. Testing properties of generic functions. In Zoltán Horváth, Viktória Zsók, and Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Revised Selected Papers, LNCS 4449, pages 217 - 234, Springer, 2007. An earlier version appeared as Technical report Utrecht University UU-CS-2006-043, 2006.


2006

ACM DL Author-ize serviceGenerating generic functions
Johan Jeuring, Alexey Rodriguez, Gideon Smeding
WGP '06 Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 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.

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.


2005

Alexey Rodriguez, Johan Jeuring, and Andres Löh. Type inference for Generic Haskell. Technical report Utrecht University UU-CS-2005-060, 2005.

Harrie Passier and Johan Jeuring. Using schema analysis for feedback in authoring tools for learning environments. Short version in Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED 2005, 2005. Extended version in Alexandra Cristea, Rosa Carro, and Franca Garzotto, editors, Proceedings of the Third International Workshop on Authoring of Adaptive and Adaptable Educational Hypermedia, A3EH 2005, pages 13 - 20, 2005.

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.

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


2004

Harrie Passier and Johan Jeuring. Ontology based feedback generation in design-oriented e-Learning systems. In P. Isaias, P. Kommers and Maggie McPherson (editors), Proceedings of the IADIS International conference, e-Society 2004, Avila, Spain, 16 - 19 July 2004, Volume II, pages 992 - 996.

Frank Atanassow and Johan Jeuring. Inferring type isomorphisms generically. In Dexter Kozen, editor, Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, 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 2004, 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.


2003

ACM DL Author-ize serviceDependency-style Generic Haskell
Andres Löh, Dave Clarke, Johan Jeuring
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, 2003
An extended version of this paper appears as Technical report ICS Utrecht University, UU-CS-2003-022.

Johan Jeuring, editor. Proceedings of the 2003 ACM SIGPLAN Haskell Workshop, ACM Press, 2003. (Web page for the workshop.)

Johan Jeuring and Simon Peyton Jones, editors. Advanced Functional Programming, LNCS 2638, Springer-Verlag, 2003. (Web page for the school.)

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, 2003. Preface and table of contents. (Web page for the conference.)

Johan Jeuring, Het ontwikkelen van XML-tools (The development of XML tools, in Dutch). IT Monitor, Nr 8, pages 4 - 7, September 2003.

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.

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.)

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.


2002

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

Patrik Jansson and Johan Jeuring. Polytypic data conversion programs. Science of Computer Programming 43(1), pages 35 - 75, 2002. Technical report ICS Utrecht University, UU-CS-2001-34.

Dave Clarke, Johan Jeuring, and Andres Löh. The Generic Haskell user's guide. Technical report Utrecht University UU-CS-2002-047, 2002. pdf.

Martijn M. Schrage, Johan Jeuring, Doaitse S. Swierstra. Combinators for layered software architectures. Technical report ICS Utrecht University, UU-CS-2002-030, 2002.

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

Bastiaan Heeren, Johan Jeuring, Doaitse Swierstra, Pablo Azero Alcocer. Improving type-error messages in functional languages. Technical report Utrecht University UU-CS-2002-009, 2002.


2001

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.

Johan Jeuring, and S.Doaitse Swierstra. Grammars and Parsing. (dvi, ps, pdf) Lecture Notes, Utrecht University, The Netherlands, 2001. (See http://www.cs.uu.nl/docs/vakken/b3tc/ for the course in which we use these lecture notes.)

Ralf Hinze and Johan Jeuring. Weaving a web. Journal of Functional Programming 11(6), pages 681 - 689, 2001. Technical report ICS Utrecht University, UU-CS-2001-33.

Jan-Willem Roorda, Johan Jeuring. Pure type systems for functional programming. Unpublished report, 2001.

Martijn Schrage and Johan Jeuring. Xprez, a declarative presentation language for XML (4.5MB). Unpublished manuscript, 2001.


2000

Johan Jeuring, editor. Proceedings Workshop on Generic Programming (WGP2000), Ponte de Lima, Portugal. Utrecht Technical Report UU-CS-2000-19, 2000. (Workshop home page)

Johan Jeuring, Chris Lengauer, and Mary Sheeran, editors. Special issue of Science of Computer Programming on Mathematics of Program Construction. Vol 37:1-3, Elsevier Science, 2000.

Patrik Jansson and Johan Jeuring. A framework for polytypic programming on terms, with an application to rewriting. ( ps, pdf ) In Johan Jeuring, editor, Proceedings Workshop on Generic Programming (WGP2000), Ponte de Lima, Portugal, Technical report ICS Utrecht University, UU-CS-2000-19, 2000.


1999

Johan Jeuring and S. Doaitse Swierstra. Advanced programming concepts in a course on grammars and parsing. In M. Felleisen, M. Hanus and S. Thompson, editors, Proceedings Workshop on Functional and Declarative Programming in Education, Rice COMP TR99-346, pages 7--12, 1999.

Patrik Jansson and Johan Jeuring. Polytypic compact printing and parsing. In S. Doaitse Swierstra, editor, Proceedings European Symposium on Programming, ESOP'99, LNCS 1576, pages 273--287, Springer-Verlag, 1999.

Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming - an introduction -. ( ps, pdf ) In S.Doaitse Swierstra,  Pedro R. Henriques and Jose N. Oliveira, editors, Advanced Functional Programming, LNCS 1608, pages 28--115, Springer-Verlag, 1999.


1998

Johan Jeuring, editor. Mathematics of Program Construction, LNCS 1422, Springer-Verlag, 1998. (Conference home page)

Patrik Jansson and Johan Jeuring. Polytypic unification. Journal of Functional Programming, 8(5), pages 527--536, 1998. (bib)

Patrik Jansson and Johan Jeuring. PolyLib - a polytypic function library. In proceedings Workshop on Generic Programming, June 18, Marstrand, Sweden, 1998. See the proceedings


1997

ACM DL Author-ize servicePolyP - a polytypic programming language extension
Patrik Jansson, Johan Jeuring
POPL '97 Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1997



1996

Johan Jeuring and Patrik Jansson. Polytypic programming. (abstract) (bib) In J. Launchbury, E. Meijer and T. Sheard, editors, Advanced Functional Programming, LNCS 1129, pages 68--114, Springer-Verlag, 1996.


1995

ACM DL Author-ize serviceConstructing functional programs for grammar analysis problems
Johan Jeuring, Doaitse Swierstra
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995


ACM DL Author-ize servicePolytypic pattern matching
Johan Jeuring
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995


Johan Jeuring and Erik Meijer, editors. Advanced Functional Programming, LNCS 925, Springer-Verlag, 1995. (bib)

Erik Meijer and Johan Jeuring. Merging monads and folds for functional programming. (abstract) (bib) In Johan Jeuring and E. Meijer, editors, Advanced Functional Programming, LNCS 925, pages 228--266, Springer-Verlag, 1995.


1994

Johan Jeuring and Doaitse Swierstra. Bottom-up grammar analysis - a functional formulation -. (abstract) (bib) In Donald Sannella, editor, Proceedings Programming Languages and Systems-ESOP '94, pages 317--332. Springer-Verlag, LNCS 788, 1994.

Johan Jeuring. The derivation of on-line algorithms, with an application to finding palindromes. (bib) Algorithmica, 11, pages 146--184, 1994.

Johan Jeuring. Polytypic programming - abstract. In U.H. Engberg, K.G. Larsen, and P.D. Mosses, editors, Proceedings of the 6th Nordic Workshop on Programming Theory, BRICS Notes Series number NS-94-6, Dept. of Computer Science, University of Aarhus, Denmark, page 237, 1994.


1993

Johan Jeuring. Theories for Algorithm Calculation (ps.Z (604K), pdf, ps, dvi). PhD thesis, Utrecht University, The Netherlands, 1993. Parts of the thesis appeared in the Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics.


1992

Johan Jeuring. The derivation of a hierarchy of algorithms for pattern matching on arrays. (abstract) (bib) In G. Hains and L.M.R. Mullin, editors, Proceedings ATABLE-92, Second international workshop on array structures, DIRO publication number 841, Université de Montréal, pages 199--213, 1992.

Johan Jeuring. Incremental data compression -abstract-. (bib) In J.A. Storer and M. Cohn, editors, Proceedings Data Compression Conference, March 24--27, 1992, Snowbird, Utah, page 411, 1992.

Johan Jeuring. Incremental data compression -extended abstract-. (abstract) (bib)In P.S. Fisher, editor, Proceedings of the Navy Environmental Systems Workshop, 1992.

Johan Jeuring. Constructive Algorithmics. In CWI, Annual Report '91, pages 27--29, 1992.


1991

Johan Jeuring, editor. Liber Amicorum Lambert Meertens & CWI 1966-1991. Stichting Mathematisch Centrum, 1991. (bib)

Johan Jeuring. The derivation of hierarchies of algorithms on matrices. In B. Möller, editor, Constructing Programs from Specifications, pages 9--32. North-Holland, 1991.

Johan Jeuring. Incremental algorithms on lists. (ps, pdf, abstract, bib) In J. van Leeuwen, editor, Proceedings SION Computing Science in the Netherlands, pages 315--335, 1991. Also appeared in EURICS Workshop on Calculational Theories of Program Structure, Hollum-Ameland, 1991.

Maarten M. Fokkinga, Johan Jeuring, Lambert Meertens and Erik Meijer. A translation from attribute grammars to catamorphisms. The Squiggolist 2(1), pages 20--26, 1991.


1990

Johan Jeuring. Algorithms from theorems. In M. Broy and C.B. Jones, editors, Programming Concepts and Methods, pages 247--266. North-Holland, 1990. Also appeared as Technical report Utrecht University RUU-CS-90-03 , 1990.

Johan Jeuring. The largest ascending substree --- an exercise in nub theory. The Squiggolist, 1:36--44, 1990.


1989

Johan Jeuring. Deriving algorithms on binary labelled trees. In P.M.G. Apers, D. Bosman, and J. van Leeuwen, editors, Proceedings SION Computing Science in the Netherlands, pages 229--249, 1989. Also appeared in Proceedings International Summer School on Constructive Algorithmics, Hollum-Ameland, 1989.

Johan Jeuring and Lambert Meertens. The least-effort cabinet formation. The Squiggolist, 1(2), 1989.


1988

Johan Jeuring. On classes of run-time functions. In Proceedings SION Computing Science in the Netherlands, pages 335--351, 1988.

Johan Jeuring. Finding palindromes. In Proceedings SION Computing Science in the Netherlands, pages 123--140, 1988.


Note

The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit written permission of the copyright holder.

Back to homepage.