Back to Results
First PageMeta Content
Programming language theory / Data types / Type inference / Parametric polymorphism / Type variable / Type system / Polymorphism / Hindley–Milner / ML / Software engineering / Type theory / Computing


Document Date: 2007-10-27 08:53:19

Open Document

File Size: 85,01 KB

Share Result on Facebook

City

Palo Alto / /

Company

Luca Cardelli AT&T Bell Laboratories / /

IndustryTerm

language processor / function type operator / basic algorithms / implicit-style function applications / function applications / larger / fundamental tool / type applications / polymorphic typechecking algorithm / unification algorithm / explicit applications / type inference algorithm / type systems / list operator / cartesian product / basic algorithm / polymorphic type systems / software systems / implicit polymorphic systems / /

Person

Murray Hill / /

ProgrammingLanguage

Pascal / Lisp / Modula-2 / ML / Algol 68 / /

ProvinceOrState

New Jersey / California / /

Technology

basic algorithms / language processor / unification algorithm / Typechecking The basic algorithm / typechecking algorithm / polymorphic typechecking algorithm / type inference algorithm / /

SocialTag