Back to Results
First PageMeta Content
Type theory / Functional languages / Data types / Type systems / Quantification / ATS / Hindley–Milner / F Sharp / System F / Software engineering / Computing / Programming language theory


Document Date: 2002-01-23 08:33:00

Open Document

File Size: 153,87 KB

Share Result on Facebook

Company

Microsoft / /

/

Event

Product Recall / Product Issues / /

IndustryTerm

type inference algorithm / inference algorithm / module systems / incomplete unification algorithm / /

Organization

listMonad.unit / S.union / /

Person

Mark Shields Simon Peyton Jones / /

Position

brand leader / programmer / /

Product

BTSet / type application / /

ProgrammingLanguage

Haskell / ML / /

Technology

alpha / inference algorithm / incomplete unification algorithm / dom / type inference algorithm / cmp / /

SocialTag