| 2008 |
|---|
| 29 | EE | Bastiaan Heeren,
Johan Jeuring,
Arthur van Leeuwen,
Alex Gerdes:
Specifying Strategies for Exercises.
AISC/MKM/Calculemus 2008: 430-445 |
| 2007 |
|---|
| 28 | EE | 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) |
| 2006 |
|---|
| 27 | EE | Ralf Hinze,
Johan Jeuring,
Andres Löh:
Typed Contracts for Functional Programming.
FLOPS 2006: 208-225 |
| 26 | EE | Johan Jeuring,
Alexey Rodriguez,
Gideon Smeding:
Generating generic functions.
ICFP-WGP 2006: 23-32 |
| 25 | EE | 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 |
| 24 | EE | Stefan Holdermans,
Johan Jeuring,
Andres Löh,
Alexey Rodriguez:
Generic Views on Data Types.
MPC 2006: 209-234 |
| 2004 |
|---|
| 23 | EE | Frank Atanassow,
Johan Jeuring:
Inferring Type Isomorphisms Generically.
MPC 2004: 32-53 |
| 22 | EE | Frank Atanassow,
Dave Clarke,
Johan Jeuring:
UUXML: A Type-Preserving XML Schema-Haskell Data Binding.
PADL 2004: 71-85 |
| 21 | EE | Ralf Hinze,
Johan Jeuring,
Andres Löh:
Type-indexed data types.
Sci. Comput. Program. 51(1-2): 117-151 (2004) |
| 2003 |
|---|
| 20 | | Jeremy Gibbons,
Johan Jeuring:
Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany
Kluwer 2003 |
| 19 | | Johan Jeuring,
Simon L. Peyton Jones:
Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
Springer 2003 |
| 18 | EE | Ralf Hinze,
Johan Jeuring:
Generic Haskell: Practice and Theory.
Generic Programming 2003: 1-56 |
| 17 | EE | Ralf Hinze,
Johan Jeuring:
Generic Haskell: Applications.
Generic Programming 2003: 57-96 |
| 16 | EE | Andres Löh,
Dave Clarke,
Johan Jeuring:
Dependency-style generic Haskell.
ICFP 2003: 141-152 |
| 2002 |
|---|
| 15 | EE | Ralf Hinze,
Johan Jeuring,
Andres Löh:
Type-Indexed Data Types.
MPC 2002: 148-174 |
| 14 | EE | Patrik Jansson,
Johan Jeuring:
Polytypic data conversion programs.
Sci. Comput. Program. 43(1): 35-75 (2002) |
| 2001 |
|---|
| 13 | | Ralf Hinze,
Johan Jeuring:
Weaving a web.
J. Funct. Program. 11(6): 681-689 (2001) |
| 1999 |
|---|
| 12 | EE | Patrik Jansson,
Johan Jeuring:
Polytypic Compact Printing and Parsing.
ESOP 1999: 273-287 |
| 1998 |
|---|
| 11 | | Johan Jeuring:
Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
Springer 1998 |
| 10 | | Roland Carl Backhouse,
Patrik Jansson,
Johan Jeuring,
Lambert G. L. T. Meertens:
Generic Programming: An Introduction.
Advanced Functional Programming 1998: 28-115 |
| 9 | | Patrik Jansson,
Johan Jeuring:
Polytypic Unification.
J. Funct. Program. 8(5): 527-536 (1998) |
| 1997 |
|---|
| 8 | EE | Patrik Jansson,
Johan Jeuring:
Polyp - A Polytypic Programming Language.
POPL 1997: 470-482 |
| 1996 |
|---|
| 7 | | Johan Jeuring,
Patrik Jansson:
Polytypic Programming.
Advanced Functional Programming 1996: 68-114 |
| 1995 |
|---|
| 6 | | Johan Jeuring,
Erik Meijer:
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text
Springer 1995 |
| 5 | | Erik Meijer,
Johan Jeuring:
Merging Monads and Folds for Functional Programming.
Advanced Functional Programming 1995: 228-266 |
| 4 | | Johan Jeuring:
Polytypic Pattern Matching.
FPCA 1995: 238-248 |
| 3 | | Johan Jeuring,
S. Doaitse Swierstra:
Constructing Functional Programs for Grammar Analysis Problems.
FPCA 1995: 259-269 |
| 1994 |
|---|
| 2 | | Johan Jeuring,
S. Doaitse Swierstra:
Bottom-up Grammar Analysis - A Functional Formulation.
ESOP 1994: 317-332 |
| 1 | | Johan Jeuring:
The Derivation of On-Line Algorithms, with an Application To Finding Palindromes.
Algorithmica 11(2): 146-184 (1994) |
