Patrik Jansson

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 15

Top Venues

CoRR

J. Funct. Program.

Log. Methods Comput. Sci.

TFP

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Julia Jansson, Patrik Jansson
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials. J. Funct. Program. 33 (2023)
Julia Jansson, Patrik Jansson
Level-p-complexity of Boolean functions using Thinning, Memoization, and Polynomials. CoRR (2023)
Jean-Philippe Bernardy, Patrik Jansson
Domain-Specific Tensor Languages. CoRR (2023)
Nicola Botta, Patrik Jansson, Guilherme Horta Alvares Da Silva
Types, equations, dimensions and the Pi theorem. CoRR (2023)
Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
Extensional equality preservation and verified generic programming. J. Funct. Program. 31 (2021)
Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
Extensional equality preservation and verified generic programming. CoRR (2020)
Cezar Ionescu, Patrik Jansson, Nicola Botta
Type Theory as a Framework for Modelling and Programming. ISoLA (1) (2018)
Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes
Saint: An API-Generic Type-Safe Interpreter. TFP (2018)
Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics. TFPIE@TFP (2018)
Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin C. Brady
Sequential decision problems, dependent types and generic solutions. Log. Methods Comput. Sci. 13 (1) (2017)
Nicola Botta, Patrik Jansson, Cezar Ionescu
Contributions to a computational theory of policy advice and avoidability. J. Funct. Program. 27 (2017)
Maximilian Algehed, Patrik Jansson
VisPar: visualising dataflow graphs from the Par Monad. FHPC@ICFP (2017)
Jean-Philippe Bernardy, Patrik Jansson
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda. Log. Methods Comput. Sci. 12 (2) (2016)
Adam Sandberg Eriksson, Patrik Jansson
An agda formalisation of the transitive closure of block matrices (extended abstract). TyDe@ICFP (2016)
Cezar Ionescu, Patrik Jansson
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming. TFPIE (2016)
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Proofs for free - Parametricity for dependent types. J. Funct. Program. 22 (2) (2012)
Johan Jeuring, Patrik Jansson, Cláudio Amaral
Testing type class laws. Haskell (2012)
Cezar Ionescu, Patrik Jansson
Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling. IFL (2012)
Jonas Duregård, Patrik Jansson, Meng Wang
Feat: functional enumeration of algebraic types. Haskell (2012)
Cláudio Amaral, Mário Florido, Patrik Jansson
Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Erlang Workshop (2011)
Cezar Ionescu, Patrik Jansson
Testing versus proving in climate impact research. TYPES (2011)
Jonas Duregård, Patrik Jansson
Embedded parser generators. Haskell (2011)
Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
Testing Polymorphic Properties. ESOP (2010)
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) (2010)
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Parametricity and dependent types. ICFP (2010)
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. DSL (2009)
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program. 19 (5) (2009)
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz
A comparison of c++ concepts and haskell type classes. ICFP-WGP (2008)
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
Algebra of Programming Using Dependent Types. MPC (2008)
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
Comparing libraries for generic programming in haskell. Haskell (2008)
Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser
Testing Properties of Generic Functions. IFL (2006)
Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
Fast and loose reasoning is morally correct. POPL (2006)
Nils Anders Danielsson, Patrik Jansson
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. MPC (2004)
Ulf Norell, Patrik Jansson
Prototyping Generic Programming in Template Haskell. MPC (2004)
Marcin Benke, Peter Dybjer, Patrik Jansson
Universes for Generic Programs and Proofs in Dependent Type Theory. Nord. J. Comput. 10 (4) (2003)
Ulf Norell, Patrik Jansson
Polytypic Programming in Haskell. IFL (2003)
Patrik Jansson, Johan Jeuring
Polytypic data conversion programs. Sci. Comput. Program. 43 (1) (2002)
Patrik Jansson, Johan Jeuring
Polytypic Compact Printing and Parsing. ESOP (1999)
Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens
Generic Programming: An Introduction. Advanced Functional Programming (1998)
Patrik Jansson, Johan Jeuring
Polytypic Unification. J. Funct. Program. 8 (5) (1998)
Patrik Jansson, Johan Jeuring
Polyp - A Polytypic Programming Language. POPL (1997)
Johan Jeuring, Patrik Jansson
Polytypic Programming. Advanced Functional Programming (1996)

Patrik Jansson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrik Jansson