Joel H. W. Weinberger -- Paper BibTeX
@inproceedings{ swamy-weinberger-dijkstra,
author = { Nikhil Swamy and Joel Weinberger and Cole Schlesinger and Juan Chen and Ben Livshits },
title = { Verifying Higher-order Programs with the Dijkstra Monad },
booktitle = { Proc. of 34th Programming Language Design and Implementation (PLDI) },
year = { 2013 },
}