All: PaJa_pub.bib
Dependent Types / Parametricity
Type Theory as a Framework for Modelling and Programming
Cezar Ionescu, Patrik Jansson, Nicola Botta
Lecture Notes in Computer Science, Tiziana Margaria, Bernhard Steffen, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, vol. 11244, Springer, 2018, pp. 119--133
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science, vol. 12, 2016
An Agda formalisation of the transitive closure of block matrices (extended abstract)
Adam Sandberg Eriksson, Patrik Jansson
James Chapman, Wouter Swierstra, Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016, ACM, 2016, pp. 60--61
Proofs for free - Parametricity for dependent types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
J. Funct. Program., vol. 22, Cambridge University Press, 2012, pp. 107--152
Parametricity and dependent types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Paul Hudak, Stephanie Weirich, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010, ACM, 2010, pp. 345--356
Algebra of programming in Agda: Dependent types for relational program derivation
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
J. Funct. Program., vol. 19, Cambridge University Press, 2009, pp. 545--579
Algebra of Programming Using Dependent Types
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
Lecture Notes in Computer Science, Philippe Audebaud, Christine Paulin-Mohring, Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, vol. 5133, Springer, 2008, pp. 268--283
Domain-Specific Languages of Mathematics
Domain-Specific Languages of Mathematics
Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy
Texts in Computing, vol. 24, College Publications, https://www.collegepublications.co.uk/computing/?00024, 2022 Jan, p. 268
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics
Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu
EPTCS, Peter Achten, Heather Miller, Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018, vol. 295, 2018, pp. 79--90
Cezar Ionescu, Patrik Jansson
EPTCS, Johan Jeuring, Jay McCarthy, Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016, vol. 230, 2016, pp. 1--15
Functional Programming / Algebra
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials
Julia Jansson, Patrik Jansson
Journal of Functional Programming, vol. 33, 2023
An Algebra of Sequential Decision Problems
Robert Krook, Patrik Jansson
Technical Report. Computer Science and Engineering, Chalmers University of Technology, 2019
An Algebra of Sequential Decision Problems: Extended Abstract
Robert Krook, Patrik Jansson
Proceedings of ACM SIGPLAN Workshop on Type-Driven Development (TyDe’19), ACM, 2019
VisPar: visualising dataflow graphs from the Par Monad
Maximilian Algehed, Patrik Jansson
Phil Trinder, Cosmin E. Oancea, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2017, Oxford, UK, September 7, 2017, ACM, 2017, pp. 24--29
Feat: functional enumeration of algebraic types
Jonas Duregård, Patrik Jansson, Meng Wang
Janis Voigtländer, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012, ACM, 2012, pp. 61--72
Jonas Duregård, Patrik Jansson
Koen Claessen, Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011, ACM, 2011, pp. 107--117
Fast and loose reasoning is morally correct
Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
J. Gregory Morrisett, Simon L. Peyton Jones, Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, ACM, 2006, pp. 206--217
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values
Nils Anders Danielsson, Patrik Jansson
Lecture Notes in Computer Science, Dexter Kozen, Carron Shankland, Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, vol. 3125, Springer, 2004, pp. 85--109
Global Systems Science
Responsibility Under Uncertainty: Which Climate Decisions Matter Most?
Nicola Botta, Nuria Brede, Michel Crucifix, Cezar Ionescu, Patrik Jansson, Zheng Li, Marina Martínez, Tim Richter
Environmental Modeling & Assessment, Springer Science and Business Media LLC, 2023 Feb
The impact of uncertainty on optimal emission policies
Nicola Botta, Patrik Jansson, Cezar Ionescu
Earth System Dynamics, vol. 9, Copernicus GmbH, 2018, pp. 525--542
Contributions to a computational theory of policy advice and avoidability
Nicola Botta, Patrik Jansson, Cezar Ionescu
J. Funct. Program., vol. 27, Cambridge University Press, 2017, pp. e23
Sequential decision problems, dependent types and generic solutions
Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin C. Brady
Log. Methods Comput. Sci., vol. 13, Episciences. org, 2017
Towards a Computational Theory of GSS: a Case for Domain-Specific Languages
Patrik Jansson, Cezar Ionescu, Nicola Botta
Third Open Global Systems Science Conference, http://global-systems-science.org/3-open-gss-conference/, 2014
Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling
Cezar Ionescu, Patrik Jansson
Lecture Notes in Computer Science, Ralf Hinze, Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers, vol. 8241, Springer, 2012, pp. 140--156
Testing versus proving in climate impact research
Cezar Ionescu, Patrik Jansson
LIPIcs, Nils Anders Danielsson, Bengt Nordström, 18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway, vol. 19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 41--54
Testing
Johan Jeuring, Patrik Jansson, Cláudio Amaral
Janis Voigtländer, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012, ACM, 2012, pp. 49--60
Testing Polymorphic Properties
Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
Lecture Notes in Computer Science, Andrew D. Gordon, Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, vol. 6012, Springer, 2010, pp. 125--144
Testing Properties of Generic Functions
Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser
Lecture Notes in Computer Science, Zoltán Horváth, Viktória Zsók, Andrew Butterfield, Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, vol. 4449, Springer, 2006, pp. 217--234
Polytypic / Generic Programming
Extensional equality preservation and verified generic programming
Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
J. Funct. Program., vol. 31, Cambridge University Press, 2021
Generic programming with C++ concepts and Haskell type classes - a comparison
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp
J. Funct. Program., vol. 20, Cambridge University Press, 2010, pp. 271--302
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu
Lecture Notes in Computer Science, Walid Mohamed Taha, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, vol. 5658, Springer, 2009, pp. 236--261
A comparison of C++ concepts and Haskell type classes
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz
Ralf Hinze, Don Syme, Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, ACM, 2008, pp. 37--48
Comparing libraries for generic programming in haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
Andy Gill, Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008, ACM, 2008, pp. 111--122
Prototyping Generic Programming in Template Haskell
Ulf Norell, Patrik Jansson
Lecture Notes in Computer Science, Dexter Kozen, Carron Shankland, Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, vol. 3125, Springer, 2004, pp. 314--333
Universes for Generic Programs and Proofs in Dependent Type Theory
Marcin Benke, Peter Dybjer, Patrik Jansson
Nord. J. Comput., vol. 10, 2003, pp. 265--289
Polytypic Programming in Haskell
Ulf Norell, Patrik Jansson
Lecture Notes in Computer Science, Philip W. Trinder, Greg Michaelson, Ricardo Pena, Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, vol. 3145, Springer, 2003, pp. 168--184
Polytypic data conversion programs
Patrik Jansson, Johan Jeuring
Sci. Comput. Program., vol. 43, Elsevier, 2002, pp. 35--75
Functional Polytypic Programming
Patrik Jansson
Chalmers University of Technology, Gothenburg, Sweden, 2000
A Framework for Polytypic Programming on Terms, with an Application to Rewriting
Patrik Jansson, Johan Jeuring
Proceedings Workshop on Generic Programming (WGP2000), Ponte de Lima, Portugal, 2000
Polytypic Compact Printing and Parsing
Patrik Jansson, Johan Jeuring
Lecture Notes in Computer Science, S. Doaitse Swierstra, Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, vol. 1576, Springer, 1999, pp. 273--287
Generic Programming: An Introduction
Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens
Lecture Notes in Computer Science, S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira, Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures, vol. 1608, Springer, 1998, pp. 28--115
Patrik Jansson, Johan Jeuring
J. Funct. Program., vol. 8, Cambridge University Press, 1998, pp. 527--536
PolyLib—A library of polytypic functions
Patrik Jansson, Johan Jeuring
Workshop on generic programming, WGP'98, 1998
Functional polytypic programming use and implementation
Patrik Jansson
Department of Computing Science, Chalmers University of Technology, Sweden, 1997
PolyP - A Polytypic Programming Language
Patrik Jansson, Johan Jeuring
Peter Lee, Fritz Henglein, Neil D. Jones, Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, ACM Press, 1997, pp. 470--482
Johan Jeuring, Patrik Jansson
Lecture Notes in Computer Science, John Launchbury, Erik Meijer, Tim Sheard, Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text, vol. 1129, Springer, 1996, pp. 68--114
Other topics
Bayesian optimization of massive material injection for disruption mitigation in tokamaks
I. Pusztai, I. Ekmark, H. Bergström, P. Halldestam, P. Jansson, M. Hoppe, O. Vallhagen, T. Fülöp
Journal of Plasma Physics, vol. 89(2), 2023
Saint: An API-Generic Type-Safe Interpreter
Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes
Lecture Notes in Computer Science, Michal H. Palka, Magnus O. Myreen, Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers, vol. 11457, Springer, 2018, pp. 94--113
Interfacing dynamically typed languages and the Why tool: reasoning about lists and tuples
Cláudio Amaral, Mário Florido, Patrik Jansson
Kenji Rikitake, Erik Stenman, Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, ACM, 2011, pp. 92--93
