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: Spiwack:Arnaud
Contributed to:
2008
2006
2018Wrote 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.