First Page | Document Content | |
---|---|---|
Date: 2016-10-05 17:20:39 | A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system withAdd to Reading ListSource URL: cybersec-prod.s3.amazonaws.comDownload Document from Source WebsiteFile Size: 37,88 KBShare Document on Facebook |