Collaborated with:N.Swamy C.Hritcu C.Keller A.Rastogi Antoine Delignat-Lavaud 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: Simon Forest
DBLP: Forest:Simon
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.