@inproceedings{Swamy_2013,
    doi = {10.1145/2491956.2491978},
    url = {https://doi.org/10.1145%2F2491956.2491978},
    year = {2013},
    month = {jun},
    publisher = {{ACM}},
    author = {Nikhil Swamy and Joel Weinberger and Cole Schlesinger and Juan Chen and Benjamin Livshits},
    title = {Verifying higher-order programs with the dijkstra monad},
    booktitle = {Proceedings of the 34th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation}
}

@inproceedings{Swamy_2013, doi = {10.1145/2491956.2491978}, url = {https://doi.org/10.1145%2F2491956.2491978}, year = {2013}, month = {jun}, publisher = {{ACM}}, author = {Nikhil Swamy and Joel Weinberger and Cole Schlesinger and Juan Chen and Benjamin Livshits}, title = {Verifying higher-order programs with the dijkstra monad}, booktitle = {Proceedings of the 34th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation} }