Back to Results
First PageMeta Content
Software engineering / Unification / Type system / Admissible rule / Type inference / Symbol / Hindley–Milner / Entailment / Function / Type theory / Logic / Mathematics


Simple Unification-based Type Inference for GADTs Simon Peyton Jones Dimitrios Vytiniotis Stephanie Weirich Geoffrey Washburn
Add to Reading List

Document Date: 2014-07-10 05:47:06

Open Document

File Size: 215,50 KB

Share Result on Facebook

City

Portland / Simple Unification / /

Company

Term Int Inc / Microsoft / /

Country

United States / /

Currency

USD / SCR / /

Facility

Cambridge University of Pennsylvania Abstract / /

IndustryTerm

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

Organization

Cambridge University / University of Pennsylvania / RI RP / /

Person

Geoffrey Washburn / Simon Peyton Jones Dimitrios Vytiniotis Stephanie / Stephanie Weirich Geoffrey / /

Position

evaluator / mp / General / programmer / /

ProgrammingLanguage

Haskell / ML / /

ProvinceOrState

Oregon / /

Technology

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