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: Bernardy:Jean=Philippe
Contributed to:
2013
2012
2011
20102010
200820092013
2018Wrote 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.
- ICFP-2013-BernardyM
- 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.