Patrik Jansson

发表

Sequential decision problems, dependent types and generic solutions

Cezar Ionescu, Nicola Botta, Patrik Jansson, 2016, Log. Methods Comput. Sci..

Embedded parser generators

Patrik Jansson, Jonas Almström Duregård, 2012 .

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

Cezar Ionescu, Patrik Jansson, 2016, TFPIE.

Den privata äldreomsorgsmarknaden : etablering, utveckling, konkurrens

Patrik Jansson, Ragnar Stolt, 2006 .

Feat: functional enumeration of algebraic types

Meng Wang, Patrik Jansson, Jonas Duregård, 2012, Haskell.

Polytypic data conversion programs

Johan Jeuring, Patrik Jansson, J. Jeuring, 2002, Sci. Comput. Program..

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

Shin-Cheng Mu, Patrik Jansson, Hsiang-Shang Ko, 2009, J. Funct. Program..

Faktorer som påverkar effektiviteten för en plockanläggning : - En fallstudie på Onninen AB

Patrik Jansson, 2009 .

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

Johan Jeuring, Patrik Jansson, 2000 .

Prototyping Generic Programming in Template Haskell

Ulf Norell, Patrik Jansson, 2004, MPC.

Proofs for free - Parametricity for dependent types

Patrik Jansson, Jean-Philippe Bernardy, Ross Paterson, 2012, J. Funct. Program..

GSS: Towards a Research Program for Global Systems Science

Patrik Jansson, J. David Tàbara, Carlo Jaeger, 2013 .

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2, 2009

Sibylle Schupp, Patrik Jansson, 2009, WGP@ICFP.

Functional Polytypic Programming

Patrik Jansson, 2000 .

An agda formalisation of the transitive closure of block matrices (extended abstract)

Patrik Jansson, Adam Sandberg Eriksson, 2016, TyDe@ICFP.

Generic Programming: An Introduction

Roland Carl Backhouse, Johan Jeuring, Patrik Jansson, 1998, Advanced Functional Programming.

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

Sibylle Schupp, Patrik Jansson, Jean-Philippe Bernardy, 2010, J. Funct. Program..

Implementering av IT-baserade affärssystem : orsaker till ett för hastigt införande samt otillräckliga organisationsförändringar

Patrik Jansson, Anna Hedström, 2007 .

Parametricity and dependent types

Patrik Jansson, Jean-Philippe Bernardy, Ross Paterson, 2010, ICFP '10.

Saint: An API-Generic Type-Safe Interpreter

Patrik Jansson, Alex Gerdes, Maximilian Algehed, 2018, TFP.

Polytypic Unification

Johan Jeuring, Patrik Jansson, 1998, J. Funct. Program..

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

Patrik Jansson, Mário Florido, Cláudio Amaral, 2011, Erlang '11.

PolyP—a polytypic programming language extension

Johan Jeuring, Patrik Jansson, 1997, POPL '97.

Comparing libraries for generic programming in haskell

Bruno C. d. S. Oliveira, Johan Jeuring, Patrik Jansson, 2008, Haskell '08.

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

Patrik Jansson, Jean-Philippe Bernardy, Jean-Philippe Bernardy, 2016, Log. Methods Comput. Sci..

Polytypic Programming in Haskell

Ulf Norell, Patrik Jansson, 2003, IFL.

Testing Properties of Generic Functions

Johan Jeuring, Patrik Jansson, Michiel Overeem, 2006, IFL.

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell

Cezar Ionescu, Patrik Jansson, Marcin Zalewski, 2009, DSL.

Functional Polytypic Programming --- Use and Implementation

Patrik Jansson, Patrik Jansson, 1997 .

Elektronisk schemaläggning : ett system för att underlätta det administrativa arbetet i förskolor

Patrik Jansson, 2012 .

Polytypism and polytypic unification

Patrik Jansson, 1995 .

Embedded parser generators

Patrik Jansson, Jonas Duregård, 2011, Haskell.

A comparison of c++ concepts and haskell type classes

Sibylle Schupp, Patrik Jansson, Jean-Philippe Bernardy, 2008, WGP '08.

Testing Polymorphic Properties

Koen Claessen, Patrik Jansson, Jean-Philippe Bernardy, 2010, ESOP.

Algebra of Programming Using Dependent Types

Shin-Cheng Mu, Patrik Jansson, Hsiang-Shang Ko, 2008, MPC.

Polytypic Programming

Johan Jeuring, Patrik Jansson, J. Jeuring, 1996, Advanced Functional Programming.

Testing versus proving in climate impact research

Cezar Ionescu, Patrik Jansson, C. Ionescu, 2011, TYPES.

Universes for Generic Programs and Proofs in Dependent Type Theory

Peter Dybjer, Patrik Jansson, Marcin Benke, 2003, Nord. J. Comput..

A debugger with GUI in OS X

Patrik Jansson, Håkan Sundell, 2004 .

Polytypic Compact Printing and Parsing

Johan Jeuring, Patrik Jansson, J. Jeuring, 1999, ESOP.

Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling

Cezar Ionescu, Patrik Jansson, 2012, IFL.

Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values

Nils Anders Danielsson, Patrik Jansson, Patrik Jansson, 2004, MPC.

VisPar: visualising dataflow graphs from the Par Monad

Patrik Jansson, Maximilian Algehed, 2017, FHPC@ICFP.

What is the next programming paradigm

Thorsten Altenkirch, Patrik Jansson, Johan Glimming, 2012 .

Contributions to a computational theory of policy advice and avoidability*

Cezar Ionescu, Nicola Botta, Patrik Jansson, 2017, Journal of Functional Programming.

The impact of uncertainty on optimal emission policies

Cezar Ionescu, Nicola Botta, Patrik Jansson, 2017 .

Type Theory as a Framework for Modelling and Programming

Cezar Ionescu, Nicola Botta, Patrik Jansson, 2018, ISoLA.

Flygets betydelse för försörjning av samhällsviktiga varor vid störning eller kris - med fokus på läkemedelsförsörjningen

Patrik Jansson, Anders Jacobson, 2006 .

Testing type class laws

Johan Jeuring, Patrik Jansson, Cláudio Amaral, 2013, Haskell '12.

PolyLib - a polytypic function library

Johan Jeuring, Patrik Jansson, 1998 .

Polyp - A Polytypic Programming Language.

Johan Jeuring, Patrik Jansson, Patrik Jansson, 1997 .