Back to Results
First PageMeta Content
Programming language theory / Data types / Functional programming / Type system / Polymorphism / Denotational semantics / Hindley–Milner / Type variable / Unification / Software engineering / Type theory / Computing


JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Add to Reading List

Document Date: 2013-01-02 17:11:04

Open Document

File Size: 1,61 MB

Share Result on Facebook
UPDATE