Publications and implementations - Patrik Jansson
Publications
Recent publications can be found elsewhere.
The below list is outdated - it only includes publications until 2003/2004.
- Ulf Norell and Patrik Jansson.
Polytypic Programming in Haskell,
IFL'03, in press for LNCS nnnn, 2004.
- Marcin Benke, Peter Dybjer and Patrik Jansson.
Universes for Generic Programs and Proofs in Dependent Type Theory,
In press for Nordic Journal of Computing, 2004.
- Patrik Jansson and Johan Jeuring.
Polytypic Data Conversion Programs,
Science of Computer Programming 43(1),
pages 35-75,
2002.
Paper available through ScienceDirect.
- Functional Polytypic Programming.
Patrik Jansson,
PhD thesis,
Chalmers University of Technology and Göteborg University,
2000.
- Polytypic Compact Printing and Parsing,
Patrik Jansson and Johan Jeuring,
In the proceedings of ESOP'99,
LNCS volume 1576, pages 273-287, 1999.
- Generic Programming - An Introduction,
Roland Backhouse, Patrik Jansson, Johan Jeuring and Lambert Meertens,
Lecture notes for the summer school on
Advanced Functional Programming 1998.
In Lecture Notes in Computer Science, volume 1608,
1999.
- Polytypic Unification,
Patrik Jansson and Johan Jeuring,
bibtex,
J. of Functional Programming
8 (5),
accompanying material,
September 1998.
- PolyLib - a polytypic function library,
Patrik Jansson and Johan Jeuring,
bibtex,
WGP'98,
June 1998.
- Functional Polytypic Programming - Use and Implementation,
Patrik Jansson,
bibtex,
Licentiate thesis,
May 1997.
- PolyP - a polytypic programming language extension,
Patrik Jansson and Johan Jeuring,
bibtex,
In Principles of Programming Languages,
POPL'97,
pages 470-482,
ACM Press,
January 1997.
- Polytypic programming,
Johan Jeuring and Patrik Jansson,
bibtex,
In J. Launchbury, E. Meijer and T. Sheard
Advanced Functional Programming,
LNCS 1129,
pages 68-114,
Springer-Verlag,
August 1996.
- Polytypism and polytypic unification,
Patrik Jansson,
bibtex,
Masters Thesis at
Computing Science,
Chalmers,
March 1995.
I have written a
compiler
for the
polytypic
language extension
PolyP
(Haskell
extended with
polytypic
functions).
Last modified: Wed May 24 16:35:52 MET DST 2000
by
Patrik Jansson /
NOpatrikjSP@AMchalmers.se