Back to Results
First PageMeta Content
Type theory / Functional languages / Logic in computer science / Data types / Dependent type / Formal verification / Functional programming / Type system / Haskell / Software engineering / Programming language theory / Computing


Document Date: 2011-04-06 12:22:59

Open Document

File Size: 539,88 KB

Share Result on Facebook
UPDATE