Patrik Jansson

Professor vid Funktionell programmering

Kontaktuppgifter ORCID

Publikationer (61)
Projekt (5)

Visar 61 publikationer

2023

Responsibility Under Uncertainty: Which Climate Decisions Matter Most?

Nicola Botta, Nuria Brede, Michel Crucifix et al

Environmental Modeling and Assessment. Vol. In Press

Artikel i vetenskaplig tidskrift

2023

Bayesian optimization of massive material injection for disruption mitigation in tokamaks

Istvan Pusztai, Ida Ekmark, H. Bergström et al

Journal of Plasma Physics. Vol. 89 (2)

Artikel i vetenskaplig tidskrift

Visa projekt

2022

Domain-Specific Languages of Mathematics

Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy

Bok

Visa projekt

2021

Extensional equality preservation and verified generic programming

Nicola Botta, Nuria Brede, Patrik Jansson et al

Journal of Functional Programming. Vol. 31

Artikel i vetenskaplig tidskrift

2019

Examples and Results from a BSc-level course on domain specific languages of mathematics

Patrik Jansson, Sólrún Einarsdóttir, Cezar Ionescu

Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 295, p. 79-90

Paper i proceeding

2019

An Algebra of Sequential Decision Problems

Robert Krook, Patrik Jansson

Övrigt konferensbidrag

2019

Saint: an API-generic type-safe interpreter

Maximilian Algehed, Patrik Jansson, Sólrún Einarsdóttir et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11457 LNCS, p. 94-113

Paper i proceeding

Visa projekt

2018

Type theory as a framework for modelling and programming

Cezar Ionescu, Patrik Jansson, Nicola Botta

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11244 (1), p. 119-133

Paper i proceeding

Visa projekt

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

Visa projekt

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

Visa projekt

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

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

Global Systems Science orientation paper - background material

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

Rapport

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

Paper i proceeding

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

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

Övrigt konferensbidrag

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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

Övrigt konferensbidrag

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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

Övrigt konferensbidrag

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 5 forskningsprojekt

2022–2023

OptiFun: Fusionsoptimering med funktionell programmering

Patrik Jansson Funktionell programmering

Ida Ekmark Subatomär, högenergi- och plasmafysik

Tünde-Maria Fülöp Subatomär, högenergi- och plasmafysik

Nicola Botta Funktionell programmering

Istvan Pusztai Subatomär, högenergi- och plasmafysik

Nicholas Smallbone Funktionell programmering

Chalmers

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Patrik Jansson Programvaruteknik

Devdatt Dubhashi Datavetenskap

Michal Palka Programvaruteknik

Oskar Allerbo Datavetenskap

Cezar Ionescu Programvaruteknik

Europeiska kommissionen (EU)

5 publikationer finns

2015–2018

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

Alex Gerdes Funktionell programmering

Irene Lobo Valbuena Programvaruteknik

Sólrún Einarsdóttir Funktionell programmering

Patrik Jansson Programvaruteknik

Maximilian Algehed Funktionell programmering

Europeiska kommissionen (EU)

5 publikationer finns

2014–2016

Matematikens domänspecifika språk (DSLsofMath)

Patrik Jansson Programvaruteknik

Adam Sandberg Eriksson Programvaruteknik

Irene Lobo Valbuena Programvaruteknik

Cezar Ionescu Programvaruteknik

Chalmers

1 publikation finns

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.