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

Collaborated with:
N.Swamy C.Hritcu C.Keller A.Rastogi Simon Forest K.Bhargavan C.Fournet P.Strub Markulf Kohlweiss Jean Karim Zinzindohoue S.Z.Béguelin
Talks about:
effect (1) depend (1) multi (1) monad (1) type (1)

Person: Antoine Delignat-Lavaud

DBLP DBLP: Delignat-Lavaud:Antoine

Contributed to:

POPL 20162016

Wrote 1 papers:

POPL-2016-SwamyHKRDFBFSKZ #dependent type #multi
Dependent types and multi-monadic effects in F (NS, CH, CK, AR, ADL, SF, KB, CF, PYS, MK, JKZ, SZB), pp. 256–270.

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.