Collaborated with:N.Swamy C.Hritcu C.Keller A.Rastogi Antoine Delignat-Lavaud Simon Forest K.Bhargavan C.Fournet P.Strub Markulf Kohlweiss S.Z.Béguelin
Talks about:effect (1) depend (1) multi (1) monad (1) type (1)
Person: Jean Karim Zinzindohoue
DBLP: Zinzindohoue:Jean_Karim
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.