Patrik Jansson
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.
Showing 60 publications
Responsibility Under Uncertainty: Which Climate Decisions Matter Most?
Domain-Specific Languages of Mathematics
Extensional equality preservation and verified generic programming
Examples and Results from a BSc-level course on domain specific languages of mathematics
An Algebra of Sequential Decision Problems
Saint: an API-generic type-safe interpreter
Type theory as a framework for modelling and programming
The impact of uncertainty on optimal emission policies
Sequential decision problems, dependent types and generic solutions
Contributions to a computational theory of policy advice and avoidability
VisPar: Visualising dataflow graphs from the Par monad
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
An Agda formalisation of the transitive closure of block matrices (Extended Abstract)
Dependently-typed programming in scientific computing: Examples from economic modelling
Global Systems Science orientation paper - background material
Testing versus proving in climate impact research
GSS: Towards a Research Program for Global Systems Science
A Sustainable Energy Future through Education and Research
Feat: Functional Enumeration of Algebraic Types
Proofs for Free - Parametricity for dependent types
What is the next programming paradigm?
Interfacing dynamically typed languages and the why tool: Reasoning about lists and tuples
Parametricity and dependent types
Generic programming with C++ concepts and Haskell type classes—a comparison
Parametricity and Dependent Types
An abstraction theorem for pure type systems
Testing Polymorphic Properties
Algebra of programming in Agda: dependent types for relational program derivation
Utvärdering av Chalmers nya Mastersprogram - Studentsynpunkter
WGP'09 Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming
Pedagogical development of Master's Programmes for the Bologna Structure at Chalmers - IMPACT
Algebra of Programming using Dependent Types
Comparing Libraries for Generic Programming in Haskell
A comparison of C++ concepts and Haskell type classes
IMPACT - Establishing the Bologna Structure with Master's Programmes at Chalmers
Comparing Libraries For Generic Programming In Haskell
Testing Properties of Generic Functions
Fast and Loose Reasoning is Morally Correct
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values
Prototyping Generic Programming in Template Haskell
Polytypic Programming in Haskell
Universes for Generic Programs and Proofs in Dependent Type Theory
Polytypic Data Conversion Programs
A Framework for Polytypic Programming on Terms, with an Application to Rewriting
Generic Programming: An Introduction
Polytypic Compact Printing and Parsing
PolyLib - a polytypic function library
Functional Pearl: Polytypic Unification
PolyP - a polytypic programming language extension
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.
Showing 5 research projects
OptiFun: Optimising Fusion with Functional Programming
Centre of excellence for Global Systems Science (CoeGSS)
Global systems Rapid Assessment tools through Constraint FUnctional Languages (GRACeFUL)
Domain-Specific Languages of Mathematics (DSLsofMath)
Strongly Typed Libraries for Programs and Proofs