Back to Results
First PageMeta Content
Programming language theory / Type system / Type inference / Type safety / Variable / Closure / System F / Hindley–Milner / Function / Software engineering / Type theory / Computing


The Ins and Outs of Gradual Type Inference Aseem Rastogi Avik Chaudhuri Stony Brook University
Add to Reading List

Document Date: 2012-09-04 23:14:52

Open Document

File Size: 929,58 KB

Share Result on Facebook

City

Philadelphia / /

Company

Basil Hosmer Advanced Technology Labs / Higher-Order Solutions / Adobe Systems / /

Country

United States / /

Currency

USD / /

/

Facility

To store / /

IndustryTerm

gradual type systems / higherorder solution / typeinference algorithm / type inference algorithm / function applications / type inference algorithms / inference algorithm / precise solution / /

OperatingSystem

XP / /

Organization

EA PP / United Nations / Gradual Type Inference Aseem Rastogi Avik Chaudhuri Stony Brook University / /

Person

Boolean Foo / /

/

Position

Type structure General / programmer / /

Product

Pentax K-x Digital Camera / /

ProgrammingLanguage

ActionScript / JavaScript / /

Technology

inference algorithm / ActionScript / LAN / typeinference algorithm / dom / type inference algorithm / type inference algorithms / 2.1 Algorithm / Flash / /

SocialTag