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 × USA
1 × United Kingdom
Collaborated with:
T.Coquand D.Teller T.Varoquaux J.Bernardy M.Boespflug R.R.Newton S.P.Jones
Talks about:
polymorph (2) linear (2) lightweight (1) normalis (1) hierarch (1) practic (1) languag (1) theori (1) strong (1) higher (1)

Person: Arnaud Spiwack

DBLP DBLP: Spiwack:Arnaud

Contributed to:

IFL 20082008
LICS 20062006
POPL 20182018

Wrote 3 papers:

IFL-2008-TellerSV #fault #lightweight #ml #performance #polymorphism #type safety
Catch Me If You Can — Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml (DT, AS, TV), pp. 249–271.
LICS-2006-CoquandS #normalisation #proving #using
A Proof of Strong Normalisation using Domain Theory (TC, AS), pp. 307–316.
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.