Patrik Jansson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Domain-specific tensor languages Journal of Functional Programming	2025-03-20	Paper
Fluid and kinetic studies of tokamak disruptions using Bayesian optimization	2024-04-19	Dataset
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials Journal of Functional Programming	2024-04-18	Paper
Domain-specific languages of mathematics	2022-08-17	Paper
Extensional equality preservation and verified generic programming Journal of Functional Programming	2021-12-27	Paper
Contributions to a computational theory of policy advice and avoidability Journal of Functional Programming	2018-08-03	Paper
Sequential decision problems, dependent types and generic solutions (available as arXiv preprint)	2017-05-08	Paper
Certified context-free parsing: a formalisation of Valiant's algorithm in Agda Logical Methods in Computer Science	2016-07-06	Paper
Parametricity and dependent types Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Proofs for free. Parametricity for dependent types Journal of Functional Programming	2013-08-19	Paper
Generic programming with C++ concepts and Haskell type classes—a comparison Journal of Functional Programming	2011-01-26	Paper
Testing polymorphic properties Programming Languages and Systems	2010-05-04	Paper
Algebra of programming in Agda: Dependent types for relational program derivation Journal of Functional Programming	2009-11-13	Paper
Algebra of Programming Using Dependent Types Lecture Notes in Computer Science	2008-08-28	Paper
Mathematics of Program Construction Lecture Notes in Computer Science	2005-08-26	Paper
Mathematics of Program Construction Lecture Notes in Computer Science	2005-08-26	Paper
Implementation of Functional Languages Lecture Notes in Computer Science	2005-08-24	Paper
scientific article; zbMATH DE number 2111733 (Why is no real title available?)	2004-10-28	Paper
Polytypic data conversion programs Science of Computer Programming	2002-05-15	Paper
Polytypic unification Journal of Functional Programming	1999-03-28	Paper

Research outcomes over time

This page was built for person: Patrik Jansson