| 2018 | ISoLA | Type Theory as a Framework for Modelling and Programming. | Cezar Ionescu, Patrik Jansson, Nicola Botta |
| 2017 | ICFP | VisPar: visualising dataflow graphs from the Par Monad. | Maximilian Algehed, Patrik Jansson |
| 2016 | ICFP | An agda formalisation of the transitive closure of block matrices (extended abstract). | Adam Sandberg Eriksson, Patrik Jansson |
| 2012 | HASKELL | Feat: functional enumeration of algebraic types. | Jonas Duregrd, Patrik Jansson, Meng Wang |
| 2012 | HASKELL | Testing type class laws. | Johan Jeuring, Patrik Jansson, Cludio Amaral |
| 2011 | HASKELL | Embedded parser generators. | Jonas Duregrd, Patrik Jansson |
| 2010 | ESOP | Testing Polymorphic Properties. | Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen |
| 2010 | ICFP | Parametricity and dependent types. | Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson |
| 2008 | HASKELL | Comparing libraries for generic programming in haskell. | Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira |
| 2008 | ICFP | A comparison of c++ concepts and haskell type classes. | Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz |
| 2008 | MPC | Algebra of Programming Using Dependent Types. | Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson |
| 2006 | POPL | Fast and loose reasoning is morally correct. | Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons |
| 2004 | MPC | Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. | Nils Anders Danielsson, Patrik Jansson |
| 2004 | MPC | Prototyping Generic Programming in Template Haskell. | Ulf Norell, Patrik Jansson |
| 1999 | ESOP | Polytypic Compact Printing and Parsing. | Patrik Jansson, Johan Jeuring |
| 1997 | POPL | Polyp - A Polytypic Programming Language. | Patrik Jansson, Johan Jeuring |