BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × France
1 × Hungary
1 × Portugal
1 × The Netherlands
2 × United Kingdom
3 × USA
Collaborated with:
J.Jeuring J.Duregård J.Bernardy C.Ionescu U.Norell K.Claessen R.Paterson M.W.0002 C.Amaral N.A.Danielsson J.Hughes J.Gibbons R.C.Backhouse L.G.L.T.Meertens A.Rodriguez A.Gerdes O.Kiselyov B.C.d.S.Oliveira L.Cabenda G.Engels J.Kleerekoper S.Mak M.Overeem K.Visser
Talks about:
program (6) polytyp (4) type (4) generic (3) test (3) properti (2) function (2) haskel (2) depend (2) polymorph (1)

Person: Patrik Jansson

DBLP DBLP: Jansson:Patrik

Contributed to:

IFL 20122012
ESOP 20102010
ICFP 20102010
IFL 20062006
POPL 20062006
IFL 20032003
ESOP 19991999
AFP 19981998
POPL 19971997
AFP 19961996
Haskell 20082008
Haskell 20112011
Haskell 20122012

Wrote 14 papers:

IFL-2012-IonescuJ #modelling #programming
Dependently-Typed Programming in Scientific Computing — Examples from Economic Modelling (CI, PJ), pp. 140–156.
ESOP-2010-BernardyJC #polymorphism #testing
Testing Polymorphic Properties (JPB, PJ, KC), pp. 125–144.
ICFP-2010-BernardyJP #dependent type #parametricity
Parametricity and dependent types (JPB, PJ, RP), pp. 345–356.
IFL-2006-JanssonJCEKMOV #testing
Testing Properties of Generic Functions (PJ, JJ, LC, GE, JK, SM, MO, KV), pp. 217–234.
POPL-2006-DanielssonHJG #performance #reasoning
Fast and loose reasoning is morally correct (NAD, JH, PJ, JG), pp. 206–217.
IFL-2003-NorellJ #haskell #programming
Polytypic Programming in Haskell (UN, PJ), pp. 168–184.
ESOP-1999-JanssonJ #parsing
Polytypic Compact Printing and Parsing (PJ, JJ), pp. 273–287.
AFP-1998-BackhouseJJM98 #programming
Generic Programming: An Introduction (RCB, PJ, JJ, LGLTM), pp. 28–115.
POPL-1997-JanssonJ #named #programming language
Polyp — A Polytypic Programming Language (PJ, JJ), pp. 470–482.
AFP-1996-JeuringJ96 #programming
Polytypic Programming (JJ, PJ), pp. 68–114.
Haskell-2008-RodriguezJJGKO #haskell #library #programming
Comparing libraries for generic programming in haskell (AR, JJ, PJ, AG, OK, BCdSO), pp. 111–122.
Haskell-2011-DuregardJ #embedded #generative #parsing
Embedded parser generators (JD, PJ), pp. 107–117.
Haskell-2012-DuregardJW #algebra #functional #named
Feat: functional enumeration of algebraic types (JD, PJ, MW0), pp. 61–72.
Haskell-2012-JeuringJA #testing
Testing type class laws (JJ, PJ, CA), pp. 49–60.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.