Patrik Jansson
Title
Cited by
Cited by
Year
PolyP—a polytypic programming language extension
P Jansson, J Jeuring
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
3511997
Generic programming
R Backhouse, P Jansson, J Jeuring, L Meertens
International School on Advanced Functional Programming, 28-115, 1998
2331998
Polytypic programming
J Jeuring, P Jansson
International School on Advanced Functional Programming, 68-114, 1996
1521996
Fast and loose reasoning is morally correct
NA Danielsson, J Hughes, P Jansson, J Gibbons
ACM SIGPLAN Notices 41 (1), 206-217, 2006
1042006
Comparing libraries for generic programming in Haskell
A Rodriguez, J Jeuring, P Jansson, A Gerdes, O Kiselyov, BCS Oliveira
Haskell Symposium 44 (2), 111-122, 2009
952009
Universes for generic programs and proofs in dependent type theory
M Benke, P Dybjer, P Jansson
Nord. J. Comput. 10 (4), 265-289, 2003
932003
Proofs for free - Parametricity for dependent types
J Bernardy, P Jansson, R Paterson
Journal of Functional Programming 22 (02), 107-152, 2012
902012
Feat: functional enumeration of algebraic types
J Duregård, P Jansson, M Wang
Proceedings of the 2012 Symposium on Haskell, 61-72, 2012
672012
Parametricity and dependent types
JP Bernardy, P Jansson, R Paterson
International Conference on Functional Programming, ICFP 2010 (also …, 2010
602010
Algebra of programming in Agda: dependent types for relational program derivation
SC Mu, HS Ko, P Jansson
Journal of Functional Programming 19 (5), 545-579, 2009
512009
Polytypic data conversion programs
P Jansson, J Jeuring
Science of computer programming 43 (1), 35-75, 2002
502002
Functional polytypic programming
P Jansson
Chalmers Tekniska Hogskola (Sweden), 2000
482000
Polytypic compact printing and parsing
P Jansson, J Jeuring
European Symposium on Programming, 273-287, 1999
451999
Chasing Bottoms - A Case Study in Program Verification in the Presence of Partial and Infinite Values
N Danielsson, P Jansson
Mathematics of Program Construction, 85-109, 2004
42*2004
Testing polymorphic properties
JP Bernardy, P Jansson, K Claessen
ESOP 2010: 19th European Symposium on Programming, LNCS 6012/2010, 125-144, 2010
412010
Polytypic programming in Haskell
U Norell, P Jansson
Symposium on Implementation and Application of Functional Languages, 168-184, 2003
412003
Polytypic unification
P Jansson, J Jeuring
Journal of functional programming 8 (5), 527-536, 1998
381998
PolyLib—A library of polytypic functions
P Jansson, J Jeuring
Workshop on generic programming, WGP'98, 1998
33*1998
A comparison of C++ concepts and Haskell type classes
JP Bernardy, P Jansson, M Zalewski, S Schupp, A Priesnitz
Proceedings of the ACM SIGPLAN workshop on Generic programming, 37-48, 2008
312008
A framework for polytypic programming on terms, with an application to rewriting
P Jansson, JT Jeuring
Proceedings Workshop on Generic Programming (WGP2000), Ponte de Lima, Portugal, 2000
222000
The system can't perform the operation now. Try again later.
Articles 1–20