![](https://www.pdfsearch.io/img/093ff3b8c38dad916c02c7988a7f3ea1.jpg) Date: 2014-01-24 04:02:53
| | Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of Add to Reading ListSource URL: web.cecs.pdx.eduDownload Document from Source Website File Size: 300,85 KBShare Document on Facebook
|