Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3

First Page		Document Content
Date: 2017-01-10 09:15:12		Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Add to Reading List Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 387,40 KB Share Document on Facebook