BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Boespflug:Mathieu

Contributed to:

PADL 20102010
POPL 20182018

Wrote 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.

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.