Polytypic Programming. - Johan Jeuring; Patrik Jansson (Advanced Functional Programming, 1996)

Polyp - A Polytypic Programming Language. - Patrik Jansson; Johan Jeuring (POPL, 1997)

Generic Programming: An Introduction. - Roland Carl Backhouse; Patrik Jansson; Johan Jeuring; Lambert G. L. T. Meertens (Advanced Functional Programming, 1998)

Polytypic Unification. - Patrik Jansson; Johan Jeuring (J. Funct. Program., 1998)

Polytypic Compact Printing and Parsing. - Patrik Jansson; Johan Jeuring (ESOP, 1999)

Functional Polytypic Programming. - Patrik Jansson (2000)

Polytypic data conversion programs. - Patrik Jansson; Johan Jeuring (Sci. Comput. Program., 2002)

Polytypic Programming in Haskell. - Ulf Norell; Patrik Jansson (IFL, 2003)

Universes for Generic Programs and Proofs in Dependent Type Theory. - Marcin Benke; Peter Dybjer; Patrik Jansson (Nord. J. Comput., 2003)

Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. - Nils Anders Danielsson; Patrik Jansson (MPC, 2004)

Prototyping Generic Programming in Template Haskell. - Ulf Norell; Patrik Jansson (MPC, 2004)

Testing Properties of Generic Functions. - Patrik Jansson; Johan Jeuring; Laurence Cabenda; Gerbo Engels; Jacob Kleerekoper; Sander Mak; Michiel Overeem; Kees Visser (IFL, 2006)

Fast and loose reasoning is morally correct. - Nils Anders Danielsson; John Hughes 001; Patrik Jansson; Jeremy Gibbons (POPL, 2006)

Comparing libraries for generic programming in haskell. - Alexey Rodriguez; Johan Jeuring; Patrik Jansson; Alex Gerdes; Oleg Kiselyov; Bruno C. d. S. Oliveira (Haskell, 2008)

A comparison of c++ concepts and haskell type classes. - Jean-Philippe Bernardy; Patrik Jansson; Marcin Zalewski; Sibylle Schupp; Andreas P. Priesnitz (ICFP-WGP, 2008)

Algebra of Programming Using Dependent Types. - Shin-Cheng Mu; Hsiang-Shang Ko; Patrik Jansson (MPC, 2008)

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. - Daniel Lincke; Patrik Jansson; Marcin Zalewski; Cezar Ionescu (DSL, 2009)

Algebra of programming in Agda: Dependent types for relational program derivation. - Shin-Cheng Mu; Hsiang-Shang Ko; Patrik Jansson (J. Funct. Program., 2009)

Testing Polymorphic Properties. - Jean-Philippe Bernardy; Patrik Jansson; Koen Claessen (ESOP, 2010)

Parametricity and dependent types. - Jean-Philippe Bernardy; Patrik Jansson; Ross Paterson (ICFP, 2010)

Generic programming with C++ concepts and Haskell type classes - a comparison. - Jean-Philippe Bernardy; Patrik Jansson; Marcin Zalewski; Sibylle Schupp (J. Funct. Program., 2010)

Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. - Cláudio Amaral; Mário Florido; Patrik Jansson (Erlang Workshop, 2011)

Embedded parser generators. - Jonas Duregård; Patrik Jansson (Haskell, 2011)

Testing versus proving in climate impact research. - Cezar Ionescu; Patrik Jansson (TYPES, 2011)

Feat: functional enumeration of algebraic types. - Jonas Duregård; Patrik Jansson; Meng Wang 002 (Haskell, 2012)

Testing type class laws. - Johan Jeuring; Patrik Jansson; Cláudio Amaral (Haskell, 2012)

Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling. - Cezar Ionescu; Patrik Jansson (IFL, 2012)

Proofs for free - Parametricity for dependent types. - Jean-Philippe Bernardy; Patrik Jansson; Ross Paterson (J. Funct. Program., 2012)

An agda formalisation of the transitive closure of block matrices (extended abstract). - Adam Sandberg Eriksson; Patrik Jansson (TyDe@ICFP, 2016)

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda. - Jean-Philippe Bernardy; Patrik Jansson (Log. Methods Comput. Sci., 2016)

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming. - Cezar Ionescu; Patrik Jansson (TFPIE, 2016)

VisPar: visualising dataflow graphs from the Par Monad. - Maximilian Algehed; Patrik Jansson (FHPC@ICFP, 2017)

Sequential decision problems, dependent types and generic solutions. - Nicola Botta; Patrik Jansson; Cezar Ionescu; David R. Christiansen; Edwin C. Brady (Log. Methods Comput. Sci., 2017)

Contributions to a computational theory of policy advice and avoidability. - Nicola Botta; Patrik Jansson; Cezar Ionescu (J. Funct. Program., 2017)

Type Theory as a Framework for Modelling and Programming. - Cezar Ionescu; Patrik Jansson; Nicola Botta (ISoLA (1), 2018)

Saint: An API-Generic Type-Safe Interpreter. - Maximilian Algehed; Patrik Jansson; Sólrún Halla Einarsdóttir; Alex Gerdes (TFP, 2018)

Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics. - Patrik Jansson; Sólrún Halla Einarsdóttir; Cezar Ionescu (TFPIE@TFP, 2018)

Extensional equality preservation and verified generic programming. - Nicola Botta; Nuria Brede; Patrik Jansson; Tim Richter (J. Funct. Program., 2021)

Types, equations, dimensions and the Pi theorem. - Nicola Botta; Patrik Jansson; Guilherme Horta Alvares Da Silva (CoRR, 2023)

Level-p-complexity of Boolean functions using thinning, memoization, and polynomials. - Julia Jansson; Patrik Jansson (J. Funct. Program., 2023)

Domain-specific tensor languages. - Jean-Philippe Bernardy; Patrik Jansson (J. Funct. Program., 2025)

Optimization under uncertainty. - Nicola Botta; Patrik Jansson; Tim Richter (CoRR, 2025)