dblp.uni-trier.dewww.uni-trier.de

Patrik Jansson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
15EEDaniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu: Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. DSL 2009: 236-261
2008
14EEJean-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
13EEShin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson: Algebra of Programming Using Dependent Types. MPC 2008: 268-283
2006
12EEPatrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser: Testing Properties of Generic Functions. IFL 2006: 217-234
11EENils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217
2004
10EEUlf Norell, Patrik Jansson: Prototyping Generic Programming in Template Haskell. MPC 2004: 314-333
9EENils 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
8EEUlf 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
6EEPatrik Jansson, Johan Jeuring: Polytypic data conversion programs. Sci. Comput. Program. 43(1): 35-75 (2002)
1999
5EEPatrik 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
2EEPatrik 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

Coauthor Index

1Roland Carl Backhouse [4]
2Marcin Benke [7]
3Jean-Philippe Bernardy [14]
4Laurence Cabenda [12]
5Nils Anders Danielsson [9] [11]
6Peter Dybjer [7]
7Gerbo Engels [12]
8Jeremy Gibbons [11]
9John Hughes [11]
10Cezar Ionescu [15]
11Johan Jeuring [1] [2] [3] [4] [5] [6] [12]
12Jacob Kleerekoper [12]
13Hsiang-Shang Ko [13]
14Daniel Lincke [15]
15Sander Mak [12]
16Lambert G. L. T. Meertens [4]
17Shin-Cheng Mu [13]
18Ulf Norell [8] [10]
19Michiel Overeem [12]
20Andreas P. Priesnitz [14]
21Sibylle Schupp [14]
22Kees Visser [12]
23Marcin Zalewski [14] [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)