Patrik Jansson

at

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

2012–2015

Strongly Typed Libraries for Programs and Proofs

Patrik Jansson Department of Computer Science and Engineering, Software Technology (Chalmers)
Jean-Philippe Bernardy Department of Computer Science and Engineering, Software Technology (Chalmers)
Cezar Ionescu Department of Computer Science and Engineering, Software Technology (Chalmers)
Swedish Research Council (VR)

2014–2016

Domain Specific Languages of Mathematics (DSLsofMath)

Patrik Jansson Department of Computer Science and Engineering, Software Technology (Chalmers)
Cezar Ionescu Department of Computer Science and Engineering, Software Technology (Chalmers)
Irene Lobo Valbuena Department of Computer Science and Engineering, Software Technology (Chalmers)
Adam Sandberg Eriksson Department of Computer Science and Engineering, Software Technology (Chalmers)
Chalmers

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Department of Computer Science and Engineering, Software Technology (Chalmers)
Cezar Ionescu Department of Computer Science and Engineering, Software Technology (Chalmers)
Devdatt Dubhashi Department of Computer Science and Engineering, Computing Science (Chalmers)
Michal Palka Department of Computer Science and Engineering, Software Technology (Chalmers)
Oskar Allerbo Department of Computer Science and Engineering, Computing Science (Chalmers)
EC, Horizon 2020

2015–2018

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

Patrik Jansson Department of Computer Science and Engineering, Software Technology (Chalmers)
Irene Lobo Valbuena Department of Computer Science and Engineering, Software Technology (Chalmers)
EC, 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

2016

Sequential decision problems, dependent types and generic solutions

Nicola Botta, Patrik Jansson, Cezar Ionescu et al
Logical Methods in Computer Science
Scientific journal article - peer reviewed
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
Scientific journal article - peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2013

Global Systems Science orientation paper - background material

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

GSS: Towards a Research Program for Global Systems Science

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

A Sustainable Energy Future through Education and Research

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

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

Cezar Ionescu, Patrik Jansson,
24th Symposium on Implementation and Application of Functional Languages (IFL 2012)
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2012

Testing Type Class Laws

J. Jeuring, Patrik Jansson, Claudio Amaral et al
SIGPLAN notices. Vol. 47 (12), p. 49-60
Scientific journal article - peer reviewed
2012

Feat: Functional Enumeration of Algebraic Types

Jonas Duregård, Patrik Jansson, Meng Wang et al
SIGPLAN notices. Vol. 47 (12), p. 61-72
Scientific journal article - peer reviewed
2012

What is the next programming paradigm?

Johan Glimming, Thorsten Altenkirch, Patrik Jansson et al
Second International Software Technology Exchange Workshop 2012
Conference paper - non peer reviewed
2012

Feat: Functional Enumeration of Algebraic Types

Jonas Duregård, Patrik Jansson, Meng Wang et al
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, p. 61-72
Conference paper - peer reviewed
2012

Testing Type Class Laws

Johan Jeuring, Patrik Jansson, Claudio Amaral et al
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012, p. 49-60
Conference paper - peer reviewed
2012

Proofs for Free - Parametricity for dependent types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson et al
Journal of Functional Programming. Vol. 22 (2), p. 107-152
Scientific journal article - peer reviewed
2011

Embedded Parser Generators

Jonas Duregård, Patrik Jansson,
ACM Sigplan Notices. Vol. 46 (12), p. 107-117
Scientific journal article - peer reviewed
2011

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

Claudio Amaral, M. Florido, Patrik Jansson et al
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 92-93
Conference paper - peer reviewed
2011

Embedded Parser Generators

Jonas Duregård, Patrik Jansson,
Haskell'11 Proceedings of the 2011 ACM SIGPLAN Haskell Symposium, Tokyo Japan, p. 107-117
Conference paper - peer reviewed
2010

Parametricity and Dependent Types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson et al
SIGPLAN notices. Vol. 45 (9), p. 345-356
Scientific journal article - peer reviewed
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
Scientific journal article - peer reviewed
2010

Parametricity and dependent types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson et al
International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland
Conference paper - peer reviewed
2010

An abstraction theorem for pure type systems

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson et al
Preprint
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
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
2010

Testing Polymorphic Properties

Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen et al
Lecture Notes in Computer Science. 19th European Symposium on Programming, ESOP 2010. Vol. 6012, p. 125-144
Conference paper - peer reviewed
2009

Utvärdering av Chalmers nya Mastersprogram - Studentsynpunkter

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

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

Patrik Jansson, Sibylle Schupp,
Monograph, book - edited
2009

Pedagogical development of Master's Programmes for the Bologna Structure at Chalmers - IMPACT

Claes Niklasson, Patrik Jansson,
European Society for Engineering Education (SEFI) 37th Annual Conference
Conference paper - peer reviewed
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
Domain-Specific Languages - IFIP TC 2 Working Conference, DSL 2009. Vol. 5658/2009, p. 236-261
Conference paper - peer reviewed
2009

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

Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson et al
Journal of Functional Programming. Vol. 19 (5), p. 545 - 579
Scientific journal article - peer reviewed
2008

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

Claes Niklasson, Patrik Jansson, Per Lundgren et al
Utvecklingskonferensen 2008, Nätverket Ingenjörsutbildningarna
Conference paper - non peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2008

Comparing Libraries for Generic Programming in Haskell

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

Algebra of Programming using Dependent Types

Shin-Cheng Mu, Ko Hsiang-Shang, Patrik Jansson et al
Mathematics of Program Construction. Vol. 5133/2008, p. 268-283
Scientific journal article - peer reviewed
2007

Testing Properties of Generic Functions

Patrik Jansson, Johan Jeuring,
LNCS, Proceedings of IFL 2006. Vol. 4449
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2004

Polytypic Programming in Haskell

Ulf Norell, Patrik Jansson,
Implementation of Functional Languages. Vol. LNCS (3145), p. 168-184
Conference paper - peer reviewed
2004

Prototyping Generic Programming in Template Haskell

Ulf Norell, Patrik Jansson,
Lecture Notes in Computer Science. Vol. 3125, p. 314-333
Scientific journal article - peer reviewed
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
Conference paper - peer reviewed
2003

Universes for Generic Programs and Proofs in Dependent Type Theory

Marcin Benke, Peter Dybjer, Patrik Jansson et al
Nordic Journal of Computing. Vol. 10 (4), p. 265-289
Scientific journal article - peer reviewed
2002

Polytypic Data Conversion Programs

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

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

Patrik Jansson, Johan Jeuring,
Workshop on Generic Programming
Conference paper - peer reviewed
2000

Functional Polytypic Programming

Patrik Jansson,
Doctoral thesis
1999

Polytypic Compact Printing and Parsing

Patrik Jansson, Johan Jeuring,
European Symposium on Programming. Vol. 1576, p. 273-287
Conference paper - peer reviewed
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
1998

PolyLib - a polytypic function library

Patrik Jansson, Johan Jeuring,
Workshop on Generic Programming
Conference paper - peer reviewed
1998

Functional Pearl: Polytypic Unification

Patrik Jansson, Johan Jeuring,
Journal of Functional Programming. Vol. 8 (5), p. 527-536
Scientific journal article - peer reviewed
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
Conference paper - peer reviewed
1996

Polytypic Programming

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

Polytypism and polytypic unification

Patrik Jansson,
Master's Thesis