Patrik Jansson

Professor vid Chalmers, Data- och informationsteknik, Funktionell programmering

Datavetare (med bakgrund inom fysik och matematik), Haskell-programmerare, forskningsidékatalysator, gillar att koppla helhetsbilden till formella detaljer, förkämpe för programvaru- och språk-teknologi.

Källa: chalmers.se

Visar 55 publikationer

2018

The impact of uncertainty on optimal emission policies

Nicola Botta, Patrik Jansson, Cezar Ionescu
Earth System Dynamics. Vol. 9 (2), p. 525-542
Artikel i vetenskaplig tidskrift
2017

Sequential decision problems, dependent types and generic solutions

Nicola Botta, Patrik Jansson, Cezar Ionescu et al
Logical Methods in Computer Science. Vol. 13 (1)
Artikel i vetenskaplig tidskrift
2017

Contributions to a computational theory of policy advice and avoidability

Nicola Botta, Patrik Jansson, Cezar Ionescu
Journal of Functional Programming. Vol. 27, p. 1-52
Artikel i vetenskaplig tidskrift
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 i proceeding
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-
Artikel i vetenskaplig tidskrift
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 i proceeding
2016

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

Cezar Ionescu, Patrik Jansson
Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 230, p. 1-15
Paper i proceeding
2013

Global Systems Science orientation paper - background material

Carlo C. Jaeger, Patrik Jansson, Sander van der Leeuw et al
Rapport
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)
Paper i proceeding
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 i proceeding
2013

GSS: Towards a Research Program for Global Systems Science

Carlo Jaeger, Patrik Jansson, Sander van der Leeuw et al
Bok
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
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
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
Artikel i vetenskaplig tidskrift
2012

What is the next programming paradigm?

Johan Glimming, Thorsten Altenkirch, Patrik Jansson
Second International Software Technology Exchange Workshop 2012
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
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
Artikel i vetenskaplig tidskrift
2010

Parametricity and dependent types

Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland
Paper i proceeding
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
Artikel i vetenskaplig tidskrift
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
Kapitel i bok
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
Kapitel i bok
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
Artikel i vetenskaplig tidskrift
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 i proceeding
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
Artikel i vetenskaplig tidskrift
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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 i proceeding
2009

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

Patrik Jansson, Sibylle Schupp
Samlingsverk (redaktörskap)
2009

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

Claes Niklasson, Patrik Jansson
SEFI 37th Annual Conference 2009; Rotterdam; Netherlands; 1 July 2009 through 4 July 2009
Paper i proceeding
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
Artikel i vetenskaplig tidskrift
2008

Comparing Libraries for Generic Programming in Haskell

Alexey Rodriguez, Johan Jeuring, Patrik Jansson et al
Rapport
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 i proceeding
2008

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

Claes Niklasson, Patrik Jansson, Per Lundgren
Utvecklingskonferensen 2008, Nätverket Ingenjörsutbildningarna
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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 i proceeding
2007

Testing Properties of Generic Functions

Patrik Jansson, Johan Jeuring
LNCS, Proceedings of IFL 2006. Vol. 4449
Paper i proceeding
2006

Testing Properties of Generic Functions

Patrik Jansson, Johan Jeuring
Rapport
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 i proceeding
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 i proceeding
2004

Prototyping Generic Programming in Template Haskell

Ulf Norell, Patrik Jansson
Lecture Notes in Computer Science. Vol. 3125, p. 314-333
Artikel i vetenskaplig tidskrift
2004

Polytypic Programming in Haskell

Ulf Norell, Patrik Jansson
Implementation of Functional Languages. Vol. LNCS (3145), p. 168-184
Paper i proceeding
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
Artikel i vetenskaplig tidskrift
2002

Polytypic Data Conversion Programs

Patrik Jansson, Johan Jeuring
Science of Computer Programming. Vol. 43 (1), p. 35-75
Artikel i vetenskaplig tidskrift
2000

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

Patrik Jansson, Johan Jeuring
Workshop on Generic Programming
Paper i proceeding
2000

Functional Polytypic Programming

Patrik Jansson
Doktorsavhandling
1999

Generic Programming: An Introduction

Roland Backhouse, Patrik Jansson, Johan Jeuring et al
Advanced Functional Programming. Vol. 1608, p. 28--115-
Kapitel i bok
1999

Polytypic Compact Printing and Parsing

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

PolyLib - a polytypic function library

Patrik Jansson, Johan Jeuring
Workshop on Generic Programming
Paper i proceeding
1998

Functional Pearl: Polytypic Unification

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

Functional Polytypic Programming --- Use and Implementation

Patrik Jansson
Licentiatavhandling
1997

PolyP - a polytypic programming language extension

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

Polytypic Programming

Johan Jeuring, Patrik Jansson
Advanced Functional Programming, p. 68-114
Kapitel i bok

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 4 forskningsprojekt

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Programvaruteknik
Cezar Ionescu Programvaruteknik
Devdatt Dubhashi Datavetenskap
Michal Palka Programvaruteknik
Oskar Allerbo Datavetenskap
Europeiska kommissionen (Horisont 2020)

2015–2018

Verktyg för snabb analys av globala system med hjälp av språk för funktionell och villkors-programmering

Patrik Jansson Programvaruteknik
Maximilian Algehed Funktionell programmering
Irene Lobo Valbuena Programvaruteknik
Sólrún Einarsdóttir Funktionell programmering
Alex Gerdes Funktionell programmering
Europeiska kommissionen (Horisont 2020)

2014–2016

Matematikens domänspecifika språk (DSLsofMath)

Patrik Jansson Programvaruteknik
Cezar Ionescu Programvaruteknik
Irene Lobo Valbuena Programvaruteknik
Adam Sandberg Eriksson Programvaruteknik
Chalmers

2012–2015

Starkt typade bibliotek för program och bevis

Patrik Jansson Programvaruteknik
Jean-Philippe Bernardy Programvaruteknik
Cezar Ionescu Programvaruteknik
Vetenskapsrådet (VR)

Det kan finnas fler projekt där Patrik Jansson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.