Johan Jeuring

Alex Gerdes, Bastiaan Heeren, Johan Jeuring: Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. EC-TEL 2012: 383-388

Johan Jeuring, Alex Gerdes, Bastiaan Heeren: Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL 2012: 453-458

Johan Jeuring, Patrik Jansson, Cláudio Amaral: Testing type class laws. Haskell 2012: 49-60

Alex Gerdes, Johan Jeuring, Bastiaan Heeren: An interactive functional programming tutor. ITiCSE 2012: 250-255

Diederik M. Roijers, Johan Jeuring, Ad Feelders: Probability estimation and a competence model for rule based e-tutoring systems. LAK 2012: 255-258

Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (Eds.): 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, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Lecture Notes in Computer Science 7362, Springer 2012, isbn 978-3-642-31373-8

Bastiaan Heeren, Johan Jeuring: Interleaving Strategies. Calculemus/MKM 2011: 196-211

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães: A lightweight approach to datatype-generic rewriting. J. Funct. Program. 20(3-4): 375-413 (2010)

Bastiaan Heeren, Johan Jeuring, Alex Gerdes: Specifying Rewrite Strategies for Interactive Exercises. Mathematics in Computer Science 3(3): 349-370 (2010)

Bastiaan Heeren, Johan Jeuring: Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus 2010: 315-330

José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh: A generic deriving mechanism for Haskell. Haskell 2010: 37-48

Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring: Generic selections of subexpressions. ICFP-WGP 2010: 37-48

José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh: Optimizing generics is easy! PEPM 2010: 33-42

Alex Gerdes, Johan Jeuring, Bastiaan Heeren: Using strategies for assessment of programming exercises. SIGCSE 2010: 441-445

Alex Gerdes, Bastiaan Heeren, Johan Jeuring: Properties of Exercise Strategies. IWS 2010: 21-34

Bastiaan Heeren, Johan Jeuring: Adapting Mathematical Domain Reasoners. CoRR abs/1005.4762 (2010)

Bastiaan Heeren, Johan Jeuring: Recognizing Strategies. Electr. Notes Theor. Comput. Sci. 237: 91-106 (2009)

Alexey Rodriguez Yakushev, Johan Jeuring: Enumerating Well-Typed Terms Generically. AAIP 2009: 93-116

Alex Gerdes, Bastiaan Heeren, Johan Jeuring: Constructing Strategies for Programming. CSEDU (1) 2009: 65-72

Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring: Generic programming with fixed points for mutually recursive datatypes. ICFP 2009: 233-244

Bastiaan Heeren, Johan Jeuring: Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM 2009: 325-340

Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev: Libraries for Generic Programming in Haskell. Advanced Functional Programming 2008: 165-229

Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes: Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445

Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira: Comparing libraries for generic programming in haskell. Haskell 2008: 111-122

Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren: A lightweight approach to datatype-generic rewriting. ICFP-WGP 2008: 13-24

Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie: Report on the tenth ICFP programming contest. ICFP 2008: 397-408

Frank Atanassow, Johan Jeuring: Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Sci. Comput. Program. 65(2): 72-107 (2007)

Roland Carl Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (Eds.): Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures. Lecture Notes in Computer Science 4719, Springer 2007, isbn 978-3-540-76785-5

Ralf Hinze, Johan Jeuring, Andres Löh: Typed Contracts for Functional Programming. FLOPS 2006: 208-225

Johan Jeuring, Alexey Rodriguez, Gideon Smeding: Generating generic functions. ICFP-WGP 2006: 23-32

Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser: Testing Properties of Generic Functions. IFL 2006: 217-234

Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez: Generic Views on Data Types. MPC 2006: 209-234

Ralf Hinze, Johan Jeuring, Andres Löh: Comparing Approaches to Generic Programming in Haskell. SSDGP 2006: 72-149

Harrie Passier, Johan Jeuring: Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. AIED 2005: 911-913

Ralf Hinze, Johan Jeuring, Andres Löh: Type-indexed data types. Sci. Comput. Program. 51(1-2): 117-151 (2004)

Frank Atanassow, Johan Jeuring: Inferring Type Isomorphisms Generically. MPC 2004: 32-53

Frank Atanassow, Dave Clarke, Johan Jeuring: UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85

Andres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic haskell. SIGPLAN Notices 38(9): 141-152 (2003)

Ralf Hinze, Johan Jeuring: Generic Haskell: Practice and Theory. Generic Programming 2003: 1-56

Ralf Hinze, Johan Jeuring: Generic Haskell: Applications. Generic Programming 2003: 57-96

Andres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic Haskell. ICFP 2003: 141-152

Johan Jeuring, Simon L. Peyton Jones (Eds.): Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Lecture Notes in Computer Science 2638, Springer 2003, isbn 3-540-40132-6

Jeremy Gibbons, Johan Jeuring (Eds.): Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany. IFIP Conference Proceedings 243, Kluwer 2003, isbn 1-4020-7374-7

Patrik Jansson, Johan Jeuring: Polytypic data conversion programs. Sci. Comput. Program. 43(1): 35-75 (2002)

Ralf Hinze, Johan Jeuring, Andres Löh: Type-Indexed Data Types. MPC 2002: 148-174

Ralf Hinze, Johan Jeuring: Weaving a web. J. Funct. Program. 11(6): 681-689 (2001)

Patrik Jansson, Johan Jeuring: Polytypic Compact Printing and Parsing. ESOP 1999: 273-287

Patrik Jansson, Johan Jeuring: Polytypic Unification. J. Funct. Program. 8(5): 527-536 (1998)

Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens: Generic Programming: An Introduction. Advanced Functional Programming 1998: 28-115

Johan Jeuring (Ed.): Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings. Lecture Notes in Computer Science 1422, Springer 1998, isbn 3-540-64591-8

Patrik Jansson, Johan Jeuring: Polyp - A Polytypic Programming Language. POPL 1997: 470-482

Johan Jeuring, Patrik Jansson: Polytypic Programming. Advanced Functional Programming 1996: 68-114

Erik Meijer, Johan Jeuring: Merging Monads and Folds for Functional Programming. Advanced Functional Programming 1995: 228-266

Johan Jeuring: Polytypic Pattern Matching. FPCA 1995: 238-248

Johan Jeuring, S. Doaitse Swierstra: Constructing Functional Programs for Grammar Analysis Problems. FPCA 1995: 259-269

Johan Jeuring, Erik Meijer (Eds.): Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text. Lecture Notes in Computer Science 925, Springer 1995, isbn 3-540-59451-5

Johan Jeuring: The Derivation of On-Line Algorithms, with an Application To Finding Palindromes. Algorithmica 11(2): 146-184 (1994)

Johan Jeuring, S. Doaitse Swierstra: Bottom-up Grammar Analysis - A Functional Formulation. ESOP 1994: 317-332