@article{Swamy_2016,
    doi = {10.1145/2914770.2837655},
    url = {https://doi.org/10.1145%2F2914770.2837655},
    year = {2016},
    month = {jan},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {51},
    number = {1},
    pages = {256--270},
    author = {Nikhil Swamy and C{\u{a}}t{\u{a}}lin Hri{\c{t}}cu 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},
    journal = {{ACM} {SIGPLAN} Notices}
}

@article{Swamy_2016, doi = {10.1145/2914770.2837655}, url = {https://doi.org/10.1145%2F2914770.2837655}, year = {2016}, month = {jan}, publisher = {Association for Computing Machinery ({ACM})}, volume = {51}, number = {1}, pages = {256--270}, author = {Nikhil Swamy and C{\u{a}}t{\u{a}}lin Hri{\c{t}}cu 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}, journal = {{ACM} {SIGPLAN} Notices} }