Segui
Patrik Jansson
Patrik Jansson
Professor of Computer Science, Chalmers University of Technology and University of Gothenburg
Email verificata su chalmers.se - Home page
Titolo
Citata da
Citata da
Anno
PolyP—a polytypic programming language extension
P Jansson, J Jeuring
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
3611997
Generic programming
R Backhouse, P Jansson, J Jeuring, L Meertens
Advanced Functional Programming: Third International School, AFP’98, Braga …, 1999
2461999
Polytypic programming
J Jeuring, P Jansson
International School on Advanced Functional Programming, 68-114, 1996
1621996
Fast and loose reasoning is morally correct
NA Danielsson, J Hughes, P Jansson, J Gibbons
ACM SIGPLAN Notices 41 (1), 206-217, 2006
1282006
Proofs for free - Parametricity for dependent types
J Bernardy, P Jansson, R Paterson
Journal of Functional Programming 22 (02), 107-152, 2012
1182012
Universes for generic programs and proofs in dependent type theory
M Benke, P Dybjer, P Jansson
Nord. J. Comput. 10 (4), 265-289, 2003
1142003
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
1022009
Feat: functional enumeration of algebraic types
J Duregård, P Jansson, M Wang
Proceedings of the 2012 Symposium on Haskell, 61-72, 2012
932012
Parametricity and dependent types
JP Bernardy, P Jansson, R Paterson
International Conference on Functional Programming, ICFP 2010 (also …, 2010
762010
Functional polytypic programming
P Jansson
Chalmers Tekniska Hogskola (Sweden), 2000
61*2000
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
582009
Polytypic data conversion programs
P Jansson, J Jeuring
Science of computer programming 43 (1), 35-75, 2002
532002
Testing polymorphic properties
JP Bernardy, P Jansson, K Claessen
ESOP 2010: 19th European Symposium on Programming, LNCS 6012/2010, 125-144, 2010
472010
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
472004
Polytypic compact printing and parsing
P Jansson, J Jeuring
European Symposium on Programming, 273-287, 1999
461999
Polytypic programming in Haskell
U Norell, P Jansson
Implementation of Functional Languages: 15th International Workshop, IFL …, 2005
422005
Polytypic unification
P Jansson, J Jeuring
Journal of functional programming 8 (5), 527-536, 1998
371998
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
362008
PolyLib—A library of polytypic functions
P Jansson, J Jeuring
Workshop on generic programming, WGP'98, 1998
32*1998
Embedded parser generators
J Duregård, P Jansson
Acm Sigplan Notices 46 (12), 107-117, 2011
262011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20