Back to Results
First PageMeta Content
Mathematical logic / Type system / Unification / Admissible rule / Type inference / Symbol / Entailment / Generic programming / Hindley–Milner / Type theory / Logic / Mathematics


Document Date: 2008-09-15 04:36:07

Open Document

File Size: 227,43 KB

Share Result on Facebook

City

Portland / Simple Unification / /

Company

Term Int Inc / Microsoft / /

Country

United States / /

Currency

USD / GHS / /

IndustryTerm

main inference algorithm / fmgu algorithm / inference algorithm / type applications / type inference algorithm / typical type-inference algorithms / /

Organization

RI RP / Washburn University / /

Person

Simon Peyton Jones / Stephanie Weirich Geoffrey / /

Position

evaluator / mp / General / programmer / /

ProgrammingLanguage

Haskell / ML / /

ProvinceOrState

Pennsylvania / Oregon / /

Technology

Functional Programming / typical type-inference algorithms / One algorithm / inference algorithm / GADT inference algorithm / ATM / dom / type inference algorithm / main inference algorithm / fmgu algorithm / /

URL

www.cis.upenn.edu/~dimitriv/dimitriv-inference.html / /

SocialTag