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: Delignat-Lavaud:Antoine
Contributed to:
2016Wrote 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.