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
3551997
Generic programming
R Backhouse, P Jansson, J Jeuring, L Meertens
International School on Advanced Functional Programming, 28-115, 1998
2351998
Polytypic programming
J Jeuring, P Jansson
International School on Advanced Functional Programming, 68-114, 1996
1591996
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
922009
Universes for generic programs and proofs in dependent type theory
M Benke, P Dybjer, P Jansson
Nord. J. Comput. 10 (4), 265-289, 2003
912003
Proofs for free - Parametricity for dependent types
J Bernardy, P Jansson, R Paterson
Journal of Functional Programming 22 (02), 107-152, 2012
822012
Feat: functional enumeration of algebraic types
J Duregård, P Jansson, M Wang
Proceedings of the 2012 Symposium on Haskell, 61-72, 2012
612012
Parametricity and dependent types
JP Bernardy, P Jansson, R Paterson
International Conference on Functional Programming, ICFP 2010 (also …, 2010
542010
Polytypic data conversion programs
P Jansson, J Jeuring
Science of computer programming 43 (1), 35-75, 2002
512002
Functional polytypic programming
P Jansson
Chalmers University of Technology, 2000
482000
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
442009
Polytypic compact printing and parsing
P Jansson, J Jeuring
European Symposium on Programming, 273-287, 1999
431999
Polytypic programming in Haskell
U Norell, P Jansson
Symposium on Implementation and Application of Functional Languages, 168-184, 2003
412003
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
39*2004
Polytypic unification
P Jansson, J Jeuring
Journal of functional programming 8 (5), 527-536, 1998
371998
Testing polymorphic properties
JP Bernardy, P Jansson, K Claessen
ESOP 2010: 19th European Symposium on Programming, LNCS 6012/2010, 125-144, 2010
362010
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