Patrik Jansson
-
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 -
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 -
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 -
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 -
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 -
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 -
What is the next programming
paradigm?
Johan Glimming, Thorsten Altenkirch, Patrik Jansson
Second International Software Technology Exchange Workshop 2012 - 2012-01-01 -
Feat: Functional Enumeration of Algebraic
Types
Jonas Duregård, Patrik Jansson, Meng Wang
SIGPLAN notices - 2012-01-01 -
Testing Type Class
Laws
J. Jeuring, Patrik Jansson, Claudio Amaral
SIGPLAN notices - 2012-01-01 -
Embedded Parser
Generators
Jonas Duregård, Patrik Jansson
ACM Sigplan Notices - 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 -
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 -
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 -
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 -
IMPACT: Quality
Assurance
Patrik Jansson
IMPACT - Strategic Development of Chalmers Master's Programmes, Helena Danielsson (ed.), 978-91-633-6202-6 - 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 -
Parametricity and Dependent
Types
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
SIGPLAN notices - 2010-01-01 -
An abstraction theorem for pure type
systems
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
- 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 -
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 -
WGP'09 Proceedings of the 2009 ACM SIGPLAN Workshop on Generic
Programming
Patrik Jansson, Sibylle Schupp
- 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 -
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 -
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 -
Algebra of Programming using Dependent
Types
Shin-Cheng Mu, Ko Hsiang-Shang, Patrik Jansson
Mathematics of Program Construction - 2008-01-01 -
Testing Properties of Generic
Functions
Patrik Jansson, Johan Jeuring
LNCS, Proceedings of IFL 2006 - 2007-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 -
Testing Properties of Generic
Functions
Patrik Jansson, Johan Jeuring
- 2006-01-01 -
Polytypic Programming in
Haskell
Ulf Norell, Patrik Jansson
Implementation of Functional Languages - 2004-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 -
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 -
Functional Polytypic
Programming
Patrik Jansson
- 2000-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 -
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 -
PolyLib - a polytypic function
library
Patrik Jansson, Johan Jeuring
Workshop on Generic Programming - 1998-01-01 -
Functional Pearl: Polytypic
Unification
Patrik Jansson, Johan Jeuring
Journal of Functional Programming - 1998-01-01 -
Functional Polytypic Programming --- Use and
Implementation
Patrik Jansson
- 1997-01-01 -
PolyP - a polytypic programming language
extension
Patrik Jansson, Johan Jeuring
Principles of Programming Languages - 1997-01-01 -
Polytypic
Programming
Johan Jeuring, Patrik Jansson
Advanced Functional Programming - 1996-01-01