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 × Croatia
1 × Cyprus
1 × Germany
2 × USA
Collaborated with:
G.Moulin K.Claessen P.Jansson M.Lasson N.Pouillard R.Paterson M.Boespflug R.R.Newton S.P.Jones A.Spiwack
Talks about:
polymorph (3) parametr (3) haskel (3) type (3) practic (2) languag (2) linear (2) pars (2) name (2) free (2)

Person: Jean-Philippe Bernardy

DBLP DBLP: Bernardy:Jean=Philippe

Contributed to:

ICFP 20132013
LICS 20122012
FOSSACS 20112011
ESOP 20102010
ICFP 20102010
Haskell 20082008
Haskell 20092009
Haskell 20132013
POPL 20182018

Wrote 10 papers:

ICFP-2013-BernardyC #context-free grammar #divide and conquer #parsing #performance
Efficient divide-and-conquer parsing of practical context-free languages (JPB, KC), pp. 111–122.
Type-theory in color (JPB, GM), pp. 61–72.
LICS-2012-BernardyM #parametricity
A Computational Interpretation of Parametricity (JPB, GM), pp. 135–144.
FoSSaCS-2011-BernardyL #parametricity #type system
Realizability and Parametricity in Pure Type Systems (JPB, ML), pp. 108–122.
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.
Haskell-2008-Bernardy #editing #haskell #named
Yi: an editor in haskell for haskell (JPB), pp. 61–62.
Haskell-2009-Bernardy #functional #incremental #lazy evaluation #parsing
Lazy functional incremental parsing (JPB), pp. 49–60.
Haskell-2013-BernardyP #for free #polymorphism
Names for free: polymorphic views of names and binders (JPB, NP), pp. 13–24.
POPL-2018-BernardyBNJS #haskell #higher-order #linear #polymorphism
Linear Haskell: practical linearity in a higher-order polymorphic language (JPB, MB, RRN, SPJ, AS), p. 29.

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.