Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin
Dependent types and multi-monadic effects in F
POPL, 2016.
@inproceedings{POPL-2016-SwamyHKRDFBFSKZ,
author = "Nikhil Swamy and Catalin Hritcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean Karim Zinzindohoue and Santiago Zanella Béguelin",
booktitle = "{Proceedings of the 43rd Symposium on Principles of Programming Languages}",
doi = "10.1145/2837614.2837655",
isbn = "978-1-4503-3549-2",
pages = "256--270",
publisher = "{ACM}",
title = "{Dependent types and multi-monadic effects in F}",
year = 2016,
}