Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Publications and implementations - Patrik Jansson
Publications and implementations - Patrik Jansson
Publications
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).
Patrik Jansson /
NOpatrikjSP@csA.chalmersM.se