Back to Results
First PageMeta Content



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 with
Add to Reading List

Document Date: 2016-10-05 17:20:39


Open Document

File Size: 37,88 KB

Share Result on Facebook
UPDATE