DMCA

Verifying Higher-order Programs with the Dijkstra Monad

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