Patrik Jansson

	2009
15		Daniel 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
14		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		Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson: Algebra of Programming Using Dependent Types. MPC 2008: 268-283
	2006
12		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		Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217
	2004
10		Ulf Norell, Patrik Jansson: Prototyping Generic Programming in Template Haskell. MPC 2004: 314-333
9		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		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		Patrik Jansson, Johan Jeuring: Polytypic data conversion programs. Sci. Comput. Program. 43(1): 35-75 (2002)
	1999
5		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		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

Coauthor Index

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

Colors in the list of coauthors