![Programming language theory / Data types / Functional programming / Type system / Polymorphism / Denotational semantics / Hindley–Milner / Type variable / Unification / Software engineering / Type theory / Computing Programming language theory / Data types / Functional programming / Type system / Polymorphism / Denotational semantics / Hindley–Milner / Type variable / Unification / Software engineering / Type theory / Computing](https://www.pdfsearch.io/img/6a26ddcb1fa846e29d0ac9b1a60d13ab.jpg)
| Document Date: 2013-01-02 17:11:04 Open Document File Size: 1,61 MBShare Result on Facebook
City Edinburgh / / Company Academic Press Inc. / / Currency pence / USD / / IndustryTerm well-type algorithm / well-typing algorithm / type-checking algorithm / binary infixed operators / structure-processing languages / list-processing operators / time type-checking algorithm / / Organization Programming MILNER Computer Science Department / / Position programmer / / ProgrammingLanguage CLU / ISWIM / ML / LISP / ALGOL 68 / / Technology typechecking algorithm / time type-checking algorithm / type-checking algorithm / well-type algorithm / artificial intelligence / well-typing algorithm / /
SocialTag |