Patrik Jansson
My mastodon profile says: Computer scientist, Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Showing 62 publications
Bayesian optimization of massive material injection for disruption mitigation in tokamaks
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials
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
The impact of uncertainty on optimal emission policies
Type theory as a framework for modelling and programming
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
An Agda formalisation of the transitive closure of block matrices (Extended Abstract)
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
Dependently-typed programming in scientific computing: Examples from economic modelling
GSS: Towards a Research Program for Global Systems Science
Global Systems Science orientation paper - background material
Testing versus proving in climate impact research
A Sustainable Energy Future through Education and Research
Proofs for Free - Parametricity for dependent types
Feat: Functional Enumeration of Algebraic 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
Testing Polymorphic Properties
An abstraction theorem for pure type systems
Parametricity and Dependent Types
Algebra of programming in Agda: dependent types for relational program derivation
Pedagogical development of Master's Programmes for the Bologna Structure at Chalmers - IMPACT
Utvärdering av Chalmers nya Mastersprogram - Studentsynpunkter
WGP'09 Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming
Comparing Libraries for Generic Programming in Haskell
Algebra of Programming using Dependent Types
IMPACT - Establishing the Bologna Structure with Master's Programmes at Chalmers
Comparing Libraries For Generic Programming In Haskell
A comparison of C++ concepts and Haskell type classes
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
Polytypic Programming in Haskell
Prototyping Generic Programming in Template 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
Polytypic Compact Printing and Parsing
Generic Programming: An Introduction
Functional Pearl: Polytypic Unification
PolyLib - a polytypic function library
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