Dependent Types and Multi-Monadic Effects in F* (bibtex)
by 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
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, Jean-Karim Zinzindohoue, Santiago Zanella-Béguelin), In 43nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2016.
Bibtex Entry:
@inproceedings{fstar-popl2016,
  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 Zinzindohoue and
            Santiago Zanella-B\'eguelin},
  title = {Dependent Types and Multi-Monadic Effects in {F*}},
  booktitle = {43nd ACM SIGPLAN-SIGACT
    Symposium on Principles of Programming Languages (POPL)},
  shortbooktitle = {POPL},
  url = {pubs/dependent-types-multi-monadic-effects-fstar-popl16.pdf},
  year = {2016},
  month = jul,
}