@InProceedings{dijkstramonad2013,
  author =       "Nikhil Swamy and Joel Weinberger and Cole Schlesinger
                 and Juan Chen and Benjamin Livshits",
  title =        "Verifying Higher-order Programs with the Dijkstra
                 Monad",
  month =        June,
  year =         "2013",
  booktitle =    "In Proceedings of the {ACM} Conference on Programming
                 Languages Design and Implementation {(PLDI) 2013}",
}