by Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen and Benjamin Livshits
Reference:
Verifying Higher-order Programs with the Dijkstra Monad (Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen and Benjamin Livshits), In Proceedings of the 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation, 2013.
Bibtex Entry:
@inproceedings{fstar-pldi13,
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 annual ACM SIGPLAN conference on Programming Language Design and Implementation},
shortbooktitle = {PLDI},
series = {PLDI '13},
year = {2013},
pages = {387-398},
url = {https://www.microsoft.com/en-us/research/publication/verifying-higher-order-programs-with-the-dijkstra-monad/},
}