DMCA

Verifying Higher-order Programs with the Dijkstra Monad

by Nikhil Swamy , Joel Weinberger , Cole Schlesinger , Juan Chen , Benjamin Livshits
Citations:11 - 3 self