Verifying higher-order programs with the dijkstra monad.

Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits

Browse the full PLDI paper archive.