Travelled to:1 × Spain
Collaborated with:∅ J.Bernardy R.R.Newton S.P.Jones A.Spiwack
Talks about:linear (2) polymorph (1) practic (1) languag (1) convers (1) higher (1) haskel (1) order (1) evalu (1)
Person: Mathieu Boespflug
DBLP: Boespflug:Mathieu
Contributed to:
2010
2018Wrote 2 papers:
- PADL-2010-Boespflug #evaluation
- Conversion by Evaluation (MB), pp. 58–72.
- 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.