Back to Results
First PageMeta Content
Programming language theory / Subtype polymorphism / Type inference / Type system / Hindley–Milner / Variable / System F / Function / Parametric polymorphism / Type theory / Software engineering / Mathematics


, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN
Add to Reading List

Document Date: 2014-08-19 20:08:26

Open Document

File Size: 349,97 KB

Share Result on Facebook

City

Boston / /

Company

IBM / /

Country

Netherlands / /

/

Facility

Purdue University / University of California / /

IndustryTerm

recent systems / program analysis algorithms / type inference algorithms / computing / variable elimination algorithm / inference algorithm / program analysis systems / type systems / basic variable elimination algorithm / /

Organization

University of California / Berkeley / National Science Foundation / Department of Computer Science / Purdue University / /

Person

ALEXANDER AIKEN / /

Position

Editor / /

ProgrammingLanguage

FL / ML / /

ProvinceOrState

Indiana / /

Technology

inference algorithm / program analysis algorithms / variable elimination algorithm / Variable Elimination Our algorithm / basic variable elimination algorithm / type inference algorithms / extended algorithm / /

SocialTag