Patrik Jansson

Professor at Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

My twitter profile says: Computer scientist, Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.

Source: chalmers.se

Projects

2015–2018

Global systems Rapid Assessment tools through Constraint FUnctional Languages (GRACeFUL)

Patrik Jansson Software Technology (Chalmers)
Irene Lobo Valbuena Software Technology (Chalmers)
Maximilian Algehed Functional Programming
Sólrún Einarsdóttir Functional Programming
European Commission (Horizon 2020)

2012–2015

Strongly Typed Libraries for Programs and Proofs

Patrik Jansson Software Technology (Chalmers)
Jean-Philippe Bernardy Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Swedish Research Council (VR)

2014–2016

Domain Specific Languages of Mathematics (DSLsofMath)

Patrik Jansson Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Irene Lobo Valbuena Software Technology (Chalmers)
Adam Sandberg Eriksson Software Technology (Chalmers)
Chalmers

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Devdatt Dubhashi Computing Science (Chalmers)
Michal Palka Software Technology (Chalmers)
Oskar Allerbo Computing Science (Chalmers)
European Commission (Horizon 2020)

There might be more projects where Patrik Jansson participates, but you have to be logged in as a Chalmers employee to see them.

Publications

2017

VisPar: Visualising dataflow graphs from the Par monad

Maximilian Algehed, Patrik Jansson
6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC 2017, Oxford, United Kingdom, 7 September 2017, p. 24-29
Paper in proceedings
2016

Sequential decision problems, dependent types and generic solutions

Nicola Botta, Patrik Jansson, Cezar Ionescu et al
Logical Methods in Computer Science
Journal article
2016

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

Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science. Vol. 12 (2), p. 28-
Journal article
2016

An Agda formalisation of the transitive closure of block matrices (Extended Abstract)

Adam Sandberg Eriksson, Patrik Jansson
TyDe 2016 Proceedings of the 1st International Workshop on Type-Driven Development, p. 2-
Paper in proceedings
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. Vol. 230, p. 1-15
Paper in proceedings
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. Vol. 230, p. 1-15
Paper in proceedings
2013

Global Systems Science orientation paper - background material

Carlo C. Jaeger, Patrik Jansson, Sander van der Leeuw et al
Report
2013

Dependently-typed programming in scientific computing: Examples from economic modelling

Cezar Ionescu, Patrik Jansson
Paper in proceedings
2013

Testing versus proving in climate impact research

Cezar Ionescu, Patrik Jansson
Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES’11). Vol. 19, p. 41-54
Paper in proceedings
2013

GSS: Towards a Research Program for Global Systems Science

Carlo Jaeger, Patrik Jansson, Sander van der Leeuw et al
Book
2013

A Sustainable Energy Future through Education and Research

Patrik Jansson, Tünde Fülöp
Preprint
2012

Testing Type Class Laws

J. Jeuring, Patrik Jansson, Claudio Amaral
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 47 (12), p. 49-60
Journal article
2012

Feat: Functional Enumeration of Algebraic Types

Jonas Almström Duregård, Patrik Jansson, Meng Wang
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, p. 61-72
Paper in proceedings
2012

Testing Type Class Laws

Johan Jeuring, Patrik Jansson, Claudio Amaral
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, p. 49-60
Paper in proceedings
2012

Proofs for Free - Parametricity for dependent types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Journal of Functional Programming. Vol. 22 (2), p. 107-152
Journal article
2012

What is the next programming paradigm?

Johan Glimming, Thorsten Altenkirch, Patrik Jansson
Conference contribution
2012

Feat: Functional Enumeration of Algebraic Types

Jonas Almström Duregård, Patrik Jansson, Meng Wang
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 47 (12), p. 61-72
Journal article
2011

Embedded Parser Generators

Jonas Almström Duregård, Patrik Jansson
Haskell'11 Proceedings of the 2011 ACM SIGPLAN Haskell Symposium, Tokyo Japan, p. 107-117
Paper in proceedings
2011

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

Claudio Amaral, M. Florido, Patrik Jansson
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 92-93
Paper in proceedings
2011

Embedded Parser Generators

Jonas Almström Duregård, Patrik Jansson
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 46 (12), p. 107-117
Journal article
2010

Parametricity and dependent types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Paper in proceedings
2010

Generic programming with C++ concepts and Haskell type classes—a comparison

Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski et al
Journal of Functional Programming. Vol. 20 (3-4), p. 271-302
Journal article
2010

IMPACT: Quality Assurance

Patrik Jansson
IMPACT - Strategic Development of Chalmers Master's Programmes, Helena Danielsson (ed.), 978-91-633-6202-6, p. 59-62
Chapter in monograph, book - peer reviewed
2010

Learning from IMPACT

Patrik Jansson
IMPACT - Strategic Development of Chalmers Master's Programmes, Helena Danielsson (ed.), 978-91-633-6202-6 , s. 59-62, p. 23-24
Chapter in monograph, book - peer reviewed
2010

Parametricity and Dependent Types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 45 (9), p. 345-356
Journal article
2010

An abstraction theorem for pure type systems

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Preprint
2010

Testing Polymorphic Properties

Jean-Philippe Bernardy, Patrik Jansson, Koen Lindström Claessen
Lecture Notes in Computer Science. Vol. 6012, p. 125-144
Paper in proceedings
2009

Algebra of programming in Agda: dependent types for relational program derivation

Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
Journal of Functional Programming. Vol. 19 (5), p. 545 - 579
Journal article
2009

Utvärdering av Chalmers nya Mastersprogram - Studentsynpunkter

Claes Niklasson, Per Lundgren, Patrik Jansson
Den 2:a Utvecklingskonferensen för Sveriges ingenjörsutbildningar, 2-3 Dec Lund, 2009, p. 49-52
Conference contribution
2009

WGP'09 Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming

Patrik Jansson, Sibylle Schupp
Edited book
2009

Generic libraries in C++ with concepts from high-level domain descriptions in Haskell: A domain-specific library for computational vulnerability assessment

Daniel Lincke, Patrik Jansson, Marcin Zalewski et al
Lecture Notes in Computer Science. Vol. 5658/2009, p. 236-261
Paper in proceedings
2008

Algebra of Programming using Dependent Types

Shin-Cheng Mu, Ko Hsiang-Shang, Patrik Jansson
Lecture Notes in Computer Science. Vol. 5133/2008, p. 268-283
Journal article
2008

Comparing Libraries for Generic Programming in Haskell

Alexey Rodriguez, Johan Jeuring, Patrik Jansson et al
Report
2008

A comparison of C++ concepts and Haskell type classes

Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski et al
ACM SIGPLAN Workshop on Generic Programming 2008. Victoria, Canada, 20th September 2008, p. 37-48
Paper in proceedings
2008

IMPACT - Establishing the Bologna Structure with Master's Programmes at Chalmers

Claes Niklasson, Patrik Jansson, Per Lundgren
Conference contribution
2008

Comparing Libraries For Generic Programming In Haskell

Alexey Rodriguez, Johan Jeuring, Patrik Jansson et al
ACM Sigplan Notices:1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008. Vol. 44 (2), p. 111-122
Paper in proceedings
2007

Testing Properties of Generic Functions

Patrik Jansson, Johan Jeuring
LNCS, Proceedings of IFL 2006. Vol. 4449
Paper in proceedings
2006

Testing Properties of Generic Functions

Patrik Jansson, Johan Jeuring
Report
2006

Fast and Loose Reasoning is Morally Correct

Nils Anders Danielsson, John Hughes, Patrik Jansson et al
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2006), p. 206-217
Paper in proceedings
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 7th International Conference on Mathematics of Program Construction, MPC 2004, LNCS 3125, p. 85-109
Paper in proceedings
2004

Prototyping Generic Programming in Template Haskell

Ulf Norell, Patrik Jansson
Lecture Notes in Computer Science. Vol. 3125, p. 314-333
Journal article
2004

Polytypic Programming in Haskell

Ulf Norell, Patrik Jansson
Implementation of Functional Languages. Vol. LNCS (3145), p. 168-184
Paper in proceedings
2003

Universes for Generic Programs and Proofs in Dependent Type Theory

Marcin Benke, Peter Dybjer, Patrik Jansson
Nordic Journal of Computing. Vol. 10 (4), p. 265-289
Journal article
2002

Polytypic Data Conversion Programs

Patrik Jansson, Johan Jeuring
Science of Computer Programming. Vol. 43 (1), p. 35-75
Journal article
2000

Functional Polytypic Programming

Patrik Jansson
Doctoral thesis
2000

A Framework for Polytypic Programming on Terms, with an Application to Rewriting

Patrik Jansson, Johan Jeuring
Paper in proceedings
1999

Generic Programming: An Introduction

Roland Backhouse, Patrik Jansson, Johan Jeuring et al
Advanced Functional Programming. Vol. 1608, p. 28--115-
Chapter in monograph, book - peer reviewed
1999

Polytypic Compact Printing and Parsing

Patrik Jansson, Johan Jeuring
European Symposium on Programming. Vol. 1576, p. 273-287
Paper in proceedings
1998

PolyLib - a polytypic function library

Patrik Jansson, Johan Jeuring
Paper in proceedings
1998

Functional Pearl: Polytypic Unification

Patrik Jansson, Johan Jeuring
Journal of Functional Programming. Vol. 8 (5), p. 527-536
Journal article
1997

Functional Polytypic Programming --- Use and Implementation

Patrik Jansson
Licentiate thesis
1997

PolyP - a polytypic programming language extension

Patrik Jansson, Johan Jeuring
Principles of Programming Languages. Vol. POPL97, p. 470-482
Paper in proceedings
1996

Polytypic Programming

Johan Jeuring, Patrik Jansson
Advanced Functional Programming, p. 68-114
Chapter in monograph, book - peer reviewed