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

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