Patrik Jansson

According to our database, Patrik Jansson authored at least 41 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

CoRR, 2023

Types, equations, dimensions and the Pi theorem.

Nicola Botta, Patrik Jansson, Guilherme Horta Alvares Da Silva

CoRR, 2023

2021

Extensional equality preservation and verified generic programming.

Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter

J. Funct. Program., 2021

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

Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018

Saint: An API-Generic Type-Safe Interpreter.

Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes

Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

Type Theory as a Framework for Modelling and Programming.

Cezar Ionescu, Patrik Jansson, Nicola Botta

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

Contributions to a computational theory of policy advice and avoidability.

Nicola Botta, Patrik Jansson, Cezar Ionescu

J. Funct. Program., 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

VisPar: visualising dataflow graphs from the Par Monad.

Maximilian Algehed, Patrik Jansson

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2017

2016

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming.

Cezar Ionescu, Patrik Jansson

Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, 2016

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda.

Jean-Philippe Bernardy, Patrik Jansson

Log. Methods Comput. Sci., 2016

An agda formalisation of the transitive closure of block matrices (extended abstract).

Adam Sandberg Eriksson, Patrik Jansson

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

2012

Proofs for free - Parametricity for dependent types.

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson

J. Funct. Program., 2012

Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling.

Cezar Ionescu, Patrik Jansson

Proceedings of the Implementation and Application of Functional Languages, 2012

Testing type class laws.

Johan Jeuring, Patrik Jansson, Cláudio Amaral

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Feat: functional enumeration of algebraic types.

Jonas Duregård, Patrik Jansson, Meng Wang

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011

Testing versus proving in climate impact research.

Cezar Ionescu, Patrik Jansson

Proceedings of the 18th International Workshop on Types for Proofs and Programs, 2011

Embedded parser generators.

Jonas Duregård, Patrik Jansson

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples.

Cláudio Amaral, Mário Florido, Patrik Jansson

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

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

Parametricity and dependent types.

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Testing Polymorphic Properties.

Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen

Proceedings of the Programming Languages and Systems, 2010

2009

Algebra of programming in Agda: Dependent types for relational program derivation.

Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson

J. Funct. Program., 2009

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell.

Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

Algebra of Programming Using Dependent Types.

Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

A comparison of c++ concepts and haskell type classes.

Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008

Comparing libraries for generic programming in haskell.

Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2006

Fast and loose reasoning is morally correct.

Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Testing Properties of Generic Functions.

Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser

Proceedings of the Implementation and Application of Functional Languages, 2006

2004

Prototyping Generic Programming in Template Haskell.

Ulf Norell, Patrik Jansson

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values.

Nils Anders Danielsson, Patrik Jansson

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2003

Universes for Generic Programs and Proofs in Dependent Type Theory.

Marcin Benke, Peter Dybjer, Patrik Jansson

Nord. J. Comput., 2003

Polytypic Programming in Haskell.

Ulf Norell, Patrik Jansson

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002

Polytypic data conversion programs.

Patrik Jansson, Johan Jeuring

Sci. Comput. Program., 2002

2000

Functional Polytypic Programming.

Patrik Jansson

PhD thesis, 2000

1999

Polytypic Compact Printing and Parsing.

Patrik Jansson, Johan Jeuring

Proceedings of the Programming Languages and Systems, 1999

1998

Polytypic Unification.

Patrik Jansson, Johan Jeuring

J. Funct. Program., 1998

Generic Programming: An Introduction.

Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens

Proceedings of the Advanced Functional Programming, 1998

1997

Polyp - A Polytypic Programming Language.

Patrik Jansson, Johan Jeuring

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996

Polytypic Programming.

Johan Jeuring, Patrik Jansson

Proceedings of the Advanced Functional Programming, 1996