by Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss and Jean-Karim Zinzindohoué
Reference:
Dependent Types and Multi-Monadic Effects in F* (Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss and Jean-Karim Zinzindohoué), In 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, 2016.
Bibtex Entry:
@inproceedings{mumon,
author = {Nikhil Swamy and
Catalin Hritcu and
Chantal Keller and
Aseem Rastogi and
Antoine Delignat-Lavaud and
Simon Forest and
Karthikeyan Bhargavan and
C\'{e}dric Fournet and
Pierre-Yves Strub and
Markulf Kohlweiss and
Jean-Karim Zinzindohou\'e and
Santiago {Zanella-B\'eguelin}},
title = {Dependent Types and Multi-Monadic Effects in {F*}},
booktitle = {43rd ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages (POPL)},
shortbooktitle = {POPL},
pages = {256-270},
publisher = {ACM},
isbn = {978-1-4503-3549-2},
month = jan,
year = {2016},
ee = {http://dx.doi.org/10.1145/2837614.2837655},
url = {https://www.fstar-lang.org/papers/mumon/},
}