Patrik Jansson
发表
M. Sheeran,
K. Claessen,
John Hughes,
2010
.
C. Jaeger,
S. Leeuw,
J. Tàbara,
2013
.
Patrik Jansson,
Robert Krook,
2019
.
Patrik Jansson,
Jean-Philippe Bernardy,
Ross Paterson,
2010,
ICFP '10.
Jean-Philippe Bernardy,
Patrik Jansson,
R. Paterson,
2010
.
M. Crucifix,
N. Botta,
C. Ionescu,
2021,
Environmental Modeling & Assessment.
O. Kiselyov,
J. Jeuring,
A. R. Yakushev,
2008,
Haskell '08.
Johan Jeuring,
Patrik Jansson,
J. Jeuring,
2002,
Sci. Comput. Program..
Patrik Jansson,
Jean-Philippe Bernardy,
Jean-Philippe Bernardy,
2016,
Log. Methods Comput. Sci..
Cezar Ionescu,
Nicola Botta,
Patrik Jansson,
2018,
ISoLA.
Cezar Ionescu,
Nicola Botta,
Patrik Jansson,
2017,
Journal of Functional Programming.
Cezar Ionescu,
Nicola Botta,
Patrik Jansson,
2016,
Log. Methods Comput. Sci..
Cezar Ionescu,
Patrik Jansson,
C. Ionescu,
2011,
TYPES.
Nils Anders Danielsson,
Jeremy Gibbons,
John Hughes,
2006,
POPL '06.
Patrik Jansson,
K. Lind,
2016
.
Patrik Jansson,
Patrik Jansson,
1997
.
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values
Nils Anders Danielsson,
Patrik Jansson,
Patrik Jansson,
2004,
MPC.
Koen Claessen,
Patrik Jansson,
Jean-Philippe Bernardy,
2010,
ESOP.
Jonas Duregård,
Patrik Jansson,
Meng Wang,
2013,
Haskell '12.
Johan Jeuring,
Patrik Jansson,
Cláudio Amaral,
2013,
Haskell '12.
N. Botta,
Patrik Jansson,
Guilherme Horta Alvares Da Silva,
2023,
ArXiv.
Johan Jeuring,
Patrik Jansson,
J. Jeuring,
1996,
Advanced Functional Programming.
NURIA BREDE,
NICOLA BOTTA,
PATRIK JANSSON,
2020,
Journal of Functional Programming.
Peter Dybjer,
Patrik Jansson,
Marcin Benke,
2003,
Nord. J. Comput..
H. Bergström,
M. Hoppe,
T. Fülöp,
2023,
Journal of Plasma Physics.
Johan Jeuring,
Patrik Jansson,
J. Jeuring,
1999,
ESOP.