BibTeX record conf/popl/SwamyHKRDFBFSKZ16

download as .bib file

@inproceedings{DBLP:conf/popl/SwamyHKRDFBFSKZ16,
  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{\'{e}}guelin},
  title     = {Dependent types and multi-monadic effects in {F}},
  booktitle = {{POPL}},
  pages     = {256--270},
  publisher = {{ACM}},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics