Back to Results
First PageMeta Content



Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3
Add to Reading List

Document Date: 2017-01-10 09:15:12


Open Document

File Size: 387,40 KB

Share Result on Facebook
UPDATE