Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Patrik Jansson

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/BernardyJP12
- ask others
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson: Proofs for free - Parametricity for dependent types. J. Funct. Program. 22(2): 107-152 (2012)
[c20]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/haskell/JeuringJA12
- ask others
Johan Jeuring, Patrik Jansson, Cláudio Amaral: Testing type class laws. Haskell 2012: 49-60
[c19]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/haskell/DuregardJW12
- ask others
Jonas Duregård, Patrik Jansson, Meng Wang: Feat: functional enumeration of algebraic types. Haskell 2012: 61-72
2011
[c18]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/erlang/AmaralFJ11
- ask others
Cláudio Amaral, Mário Florido, Patrik Jansson: Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Erlang Workshop 2011: 92-93
[c17]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/haskell/DuregardJ11
- ask others
Jonas Duregård, Patrik Jansson: Embedded parser generators. Haskell 2011: 107-117
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/types/IonescuJ11
- ask others
Cezar Ionescu, Patrik Jansson: Testing versus proving in climate impact research. TYPES 2011: 41-54
2010
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/BernardyJZS10
- ask others
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp: Generic programming with C++ concepts and Haskell type classes - a comparison. J. Funct. Program. 20(3-4): 271-302 (2010)
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/BernardyJC10
- ask others
Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen: Testing Polymorphic Properties. ESOP 2010: 125-144
[c14]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/BernardyJP10
- ask others
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson: Parametricity and dependent types. ICFP 2010: 345-356

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/MuKJ09
- ask others
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson: Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program. 19(5): 545-579 (2009)
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dsl/LinckeJZI09
- ask others
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
[c12]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/haskell/RodriguezJJGKO08
- ask others
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira: Comparing libraries for generic programming in haskell. Haskell 2008: 111-122
[c11]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/BernardyJZSP08
- ask others
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
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/MuKJ08
- ask others
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson: Algebra of Programming Using Dependent Types. MPC 2008: 268-283
2006
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifl/JanssonJCEKMOV06
- ask others
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
[c8]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/DanielssonHJG06
- ask others
Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217
2004
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/DanielssonJ04
- ask others
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
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/NorellJ04
- ask others
Ulf Norell, Patrik Jansson: Prototyping Generic Programming in Template Haskell. MPC 2004: 314-333
2003
[j3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/njc/BenkeDJ03
- ask others
Marcin Benke, Peter Dybjer, Patrik Jansson: Universes for Generic Programs and Proofs in Dependent Type Theory. Nord. J. Comput. 10(4): 265-289 (2003)
[c5]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifl/NorellJ03
- ask others
Ulf Norell, Patrik Jansson: Polytypic Programming in Haskell. IFL 2003: 168-184
2002
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/JanssonJ02
- ask others
Patrik Jansson, Johan Jeuring: Polytypic data conversion programs. Sci. Comput. Program. 43(1): 35-75 (2002)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/JanssonJ99
- ask others
Patrik Jansson, Johan Jeuring: Polytypic Compact Printing and Parsing. ESOP 1999: 273-287
1998
[j1]
- view
  - electronic edition @ cambridge.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/JanssonJ98
- ask others
Patrik Jansson, Johan Jeuring: Polytypic Unification. J. Funct. Program. 8(5): 527-536 (1998)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/afp/BackhouseJJM98
- ask others
Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens: Generic Programming: An Introduction. Advanced Functional Programming 1998: 28-115
1997
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/JanssonJ97
- ask others
Patrik Jansson, Johan Jeuring: Polyp - A Polytypic Programming Language. POPL 1997: 470-482
1996
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/afp/JeuringJ96
- ask others
Johan Jeuring, Patrik Jansson: Polytypic Programming. Advanced Functional Programming 1996: 68-114

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?