Patrik Jansson
-
Domain-Specific Languages of
Mathematics
Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy
- 2022-01-01 -
Extensional equality preservation and verified generic
programming
N. Botta, N. Brede, Patrik Jansson, T. Richter
Journal of Functional Programming - 2021-01-01 -
Contributions to a computational theory of policy advice and
avoidability
N. Botta, Patrik Jansson, Cesar Ionescu
Journal of Functional Programming - 2017-01-01 -
Sequential decision problems, dependent types and generic
solutions
N. Botta, Patrik Jansson, Cesar Ionescu, D. R. Christiansen, E. Brady
Logical Methods in Computer Science - 2017-01-01 -
Certified context-free parsing: A formalisation of valiant’s algorithm in
Agda
Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science - 2016-01-01 -
An Agda formalisation of the transitive closure of block matrices (Extended
Abstract)
Adam Sandberg Eriksson, Patrik Jansson
TyDe 2016 Proceedings of the 1st International Workshop on Type-Driven Development - 2016-01-01 -
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional
Programming
Cezar Ionescu, Patrik Jansson
Proceedings 4th International Workshop on Trends in Functional Programming in Education - 2015-01-01 -
A Sustainable Energy Future through Education and
Research
Patrik Jansson, Tünde Fülöp
- 2013-01-01 -
Global Systems Science orientation paper - background
material
Carlo C. Jaeger, Patrik Jansson, Sander van der Leeuw, Michael Resch, J. David Tàbara, Ralph Dum
- 2013-01-01 -
GSS: Towards a Research Program for Global Systems
Science
Carlo Jaeger, Patrik Jansson, Sander van der Leeuw, Michael Resch, J. David Tabara
- 2013-01-01 -
Testing versus proving in climate impact
research
Cezar Ionescu, Patrik Jansson
Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES’11) - 2013-01-01 -
Dependently-typed programming in scientific computing: Examples from economic
modelling
Cezar Ionescu, Patrik Jansson
24th Symposium on Implementation and Application of Functional Languages (IFL 2012) - 2013-01-01 -
Proofs for Free - Parametricity for dependent
types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
Journal of Functional Programming - 2012-01-01 -
Testing Type Class
Laws
Johan Jeuring, Patrik Jansson, Claudio Amaral
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012 - 2012-01-01 -
Feat: Functional Enumeration of Algebraic
Types
Jonas Duregård, Patrik Jansson, Meng Wang
2012 ACM SIGPLAN Haskell Symposium, Haskell 2012. Copenhagen, 13 September 2012 - 2012-01-01 -
Testing Type Class
Laws
J. Jeuring, Patrik Jansson, Claudio Amaral
SIGPLAN notices - 2012-01-01 -
Feat: Functional Enumeration of Algebraic
Types
Jonas Duregård, Patrik Jansson, Meng Wang
SIGPLAN notices - 2012-01-01 -
What is the next programming
paradigm?
Johan Glimming, Thorsten Altenkirch, Patrik Jansson
Second International Software Technology Exchange Workshop 2012 - 2012-01-01 -
Embedded Parser
Generators
Jonas Duregård, Patrik Jansson
ACM Sigplan Notices - 2011-01-01 -
Interfacing dynamically typed languages and the why tool: Reasoning about lists and
tuples
Claudio Amaral, M. Florido, Patrik Jansson
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011 - 2011-01-01 -
Embedded Parser
Generators
Jonas Duregård, Patrik Jansson
Haskell'11 Proceedings of the 2011 ACM SIGPLAN Haskell Symposium, Tokyo Japan - 2011-01-01 -
An abstraction theorem for pure type
systems
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
- 2010-01-01 -
Parametricity and dependent
types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland - 2010-01-01 -
IMPACT: Quality
Assurance
Patrik Jansson
IMPACT - Strategic Development of Chalmers Master's Programmes, Helena Danielsson (ed.), 978-91-633-6202-6 - 2010-01-01 -
Generic programming with C++ concepts and Haskell type classes—a
comparison
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp
Journal of Functional Programming - 2010-01-01 -
Learning from
IMPACT
Patrik Jansson
IMPACT - Strategic Development of Chalmers Master's Programmes, Helena Danielsson (ed.), 978-91-633-6202-6 , s. 59-62 - 2010-01-01 -
Parametricity and Dependent
Types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
SIGPLAN notices - 2010-01-01 -
Testing Polymorphic
Properties
Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
Lecture Notes in Computer Science. 19th European Symposium on Programming, ESOP 2010 - 2010-01-01 -
Algebra of programming in Agda: dependent types for relational program
derivation
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
Journal of Functional Programming - 2009-01-01 -
Generic libraries in C++ with concepts from high-level domain descriptions in Haskell: A domain-specific library for computational vulnerability
assessment
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu
Domain-Specific Languages - IFIP TC 2 Working Conference, DSL 2009 - 2009-01-01 -
Utvärdering av Chalmers nya Mastersprogram -
Studentsynpunkter
Claes Niklasson, Per Lundgren, Patrik Jansson
Den 2:a Utvecklingskonferensen för Sveriges ingenjörsutbildningar, 2-3 Dec Lund, 2009 - 2009-01-01 -
Pedagogical development of Master's Programmes for the Bologna Structure at Chalmers -
IMPACT
Claes Niklasson, Patrik Jansson
European Society for Engineering Education (SEFI) 37th Annual Conference - 2009-01-01 -
WGP'09 Proceedings of the 2009 ACM SIGPLAN Workshop on Generic
Programming
Patrik Jansson, Sibylle Schupp
- 2009-01-01 -
Comparing Libraries For Generic Programming In
Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C D S Oliveira
ACM Sigplan Notices:1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008 - 2008-01-01 -
Comparing Libraries for Generic Programming in
Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C D S Oliveira
- 2008-01-01 -
IMPACT - Establishing the Bologna Structure with Master's Programmes at
Chalmers
Claes Niklasson, Patrik Jansson, Per Lundgren
Utvecklingskonferensen 2008, Nätverket Ingenjörsutbildningarna - 2008-01-01 -
Algebra of Programming using Dependent
Types
Shin-Cheng Mu, Ko Hsiang-Shang, Patrik Jansson
Mathematics of Program Construction - 2008-01-01 -
A comparison of C++ concepts and Haskell type
classes
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas Priesnitz
ACM SIGPLAN Workshop on Generic Programming 2008. Victoria, Canada, 20th September 2008 - 2008-01-01 -
Testing Properties of Generic
Functions
Patrik Jansson, Johan Jeuring
LNCS, Proceedings of IFL 2006 - 2007-01-01 -
Testing Properties of Generic
Functions
Patrik Jansson, Johan Jeuring
- 2006-01-01 -
Fast and Loose Reasoning is Morally
Correct
Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2006) - 2006-01-01 -
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite
Values
Nils Anders Danielsson, Patrik Jansson
Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, LNCS 3125 - 2004-01-01 -
Polytypic Programming in
Haskell
Ulf Norell, Patrik Jansson
Implementation of Functional Languages - 2004-01-01 -
Prototyping Generic Programming in Template
Haskell
Ulf Norell, Patrik Jansson
Lecture Notes in Computer Science - 2004-01-01 -
Universes for Generic Programs and Proofs in Dependent Type
Theory
Marcin Benke, Peter Dybjer, Patrik Jansson
Nordic Journal of Computing - 2003-01-01 -
Polytypic Data Conversion
Programs
Patrik Jansson, Johan Jeuring
Science of Computer Programming - 2002-01-01 -
A Framework for Polytypic Programming on Terms, with an Application to
Rewriting
Patrik Jansson, Johan Jeuring
Workshop on Generic Programming - 2000-01-01 -
Functional Polytypic
Programming
Patrik Jansson
- 2000-01-01 -
Polytypic Compact Printing and
Parsing
Patrik Jansson, Johan Jeuring
European Symposium on Programming - 1999-01-01 -
Generic Programming: An
Introduction
Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens
Advanced Functional Programming - 1999-01-01 -
Functional Pearl: Polytypic
Unification
Patrik Jansson, Johan Jeuring
Journal of Functional Programming - 1998-01-01 -
PolyLib - a polytypic function
library
Patrik Jansson, Johan Jeuring
Workshop on Generic Programming - 1998-01-01 -
PolyP - a polytypic programming language
extension
Patrik Jansson, Johan Jeuring
Principles of Programming Languages - 1997-01-01 -
Functional Polytypic Programming --- Use and
Implementation
Patrik Jansson
- 1997-01-01 -
Polytypic
Programming
Johan Jeuring, Patrik Jansson
Advanced Functional Programming - 1996-01-01