Patrik Jansson
Titel
Zitiert von
Zitiert von
Jahr
PolyP—a polytypic programming language extension
P Jansson, J Jeuring
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
3461997
Generic programming
R Backhouse, P Jansson, J Jeuring, L Meertens
International School on Advanced Functional Programming, 28-115, 1998
2311998
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
902009
Universes for generic programs and proofs in dependent type theory
M Benke, P Dybjer, P Jansson
Nord. J. Comput. 10 (4), 265-289, 2003
882003
Proofs for free - Parametricity for dependent types
J Bernardy, P Jansson, R Paterson
Journal of Functional Programming 22 (02), 107-152, 2012
872012
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
562010
Polytypic data conversion programs
P Jansson, J Jeuring
Science of computer programming 43 (1), 35-75, 2002
502002
Functional polytypic programming
P Jansson
Chalmers University of Technology, 2000
472000
Algebra of programming in Agda: dependent types for relational program derivation
SC Mu, HS Ko, P Jansson
Journal of Functional Programming 19 (5), 545, 2009
442009
Polytypic compact printing and parsing
P Jansson, J Jeuring
European Symposium on Programming, 273-287, 1999
431999
Testing polymorphic properties
JP Bernardy, P Jansson, K Claessen
ESOP 2010: 19th European Symposium on Programming, LNCS 6012/2010, 125-144, 2010
412010
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
40*2004
Polytypic programming in Haskell
U Norell, P Jansson
Symposium on Implementation and Application of Functional Languages, 168-184, 2003
402003
Polytypic unification
P Jansson, J Jeuring
Journal of functional programming 8 (5), 527-536, 1998
361998
PolyLib—A library of polytypic functions
P Jansson, J Jeuring
Workshop on generic programming, WGP'98, 1998
32*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
Prototyping generic programming in Template Haskell
U Norell, P Jansson
International Conference on Mathematics of Program Construction, 314-333, 2004
212004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20