Verifying Higher-order Programs with the Dijkstra Monad
Cached
Download Links
by
Nikhil Swamy
,
Joel Weinberger
,
Cole Schlesinger
,
Juan Chen
,
Benjamin Livshits
Citations: | 12 - 3 self |