| 2008 |
|---|
| 14 | EE | Jean-Philippe Bernardy,
Patrik Jansson,
Marcin Zalewski,
Sibylle Schupp,
Andreas P. Priesnitz:
A comparison of c++ concepts and haskell type classes.
ICFP-WGP 2008: 37-48 |
| 13 | EE | Shin-Cheng Mu,
Hsiang-Shang Ko,
Patrik Jansson:
Algebra of Programming Using Dependent Types.
MPC 2008: 268-283 |
| 2006 |
|---|
| 12 | 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 |
| 11 | EE | Nils Anders Danielsson,
John Hughes,
Patrik Jansson,
Jeremy Gibbons:
Fast and loose reasoning is morally correct.
POPL 2006: 206-217 |
| 2004 |
|---|
| 10 | EE | Ulf Norell,
Patrik Jansson:
Prototyping Generic Programming in Template Haskell.
MPC 2004: 314-333 |
| 9 | EE | Nils Anders Danielsson,
Patrik Jansson:
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values.
MPC 2004: 85-109 |
| 2003 |
|---|
| 8 | EE | Ulf Norell,
Patrik Jansson:
Polytypic Programming in Haskell.
IFL 2003: 168-184 |
| 7 | | Marcin Benke,
Peter Dybjer,
Patrik Jansson:
Universes for Generic Programs and Proofs in Dependent Type Theory.
Nord. J. Comput. 10(4): 265-289 (2003) |
| 2002 |
|---|
| 6 | EE | Patrik Jansson,
Johan Jeuring:
Polytypic data conversion programs.
Sci. Comput. Program. 43(1): 35-75 (2002) |
| 1999 |
|---|
| 5 | EE | Patrik Jansson,
Johan Jeuring:
Polytypic Compact Printing and Parsing.
ESOP 1999: 273-287 |
| 1998 |
|---|
| 4 | | Roland Carl Backhouse,
Patrik Jansson,
Johan Jeuring,
Lambert G. L. T. Meertens:
Generic Programming: An Introduction.
Advanced Functional Programming 1998: 28-115 |
| 3 | | Patrik Jansson,
Johan Jeuring:
Polytypic Unification.
J. Funct. Program. 8(5): 527-536 (1998) |
| 1997 |
|---|
| 2 | EE | Patrik Jansson,
Johan Jeuring:
Polyp - A Polytypic Programming Language.
POPL 1997: 470-482 |
| 1996 |
|---|
| 1 | | Johan Jeuring,
Patrik Jansson:
Polytypic Programming.
Advanced Functional Programming 1996: 68-114 |
