Back to Results
First PageMeta Content
Type theory / Parametric polymorphism / Standard ML / Type system / Type inference / ML / Polymorphism / Hindley–Milner / Valuation / Software engineering / Programming language theory / Computing


Relaxing the Value Restriction Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Sakyo-ku, Kyoto[removed]removed]
Add to Reading List

Document Date: 2011-11-23 03:22:14

Open Document

File Size: 194,12 KB

Share Result on Facebook

City

Kyoto / /

Currency

USD / /

/

Event

Product Issues / /

Facility

Value Restriction Jacques Garrigue Research Institute / Mathematical Sciences Kyoto University / /

IndustryTerm

conservative systems / inference algorithm / type systems / stronger type systems / refined type systems / partial applications / usage site / /

Organization

SEMI / Institute for Mathematical Sciences Kyoto University / eta / /

Person

SEMI-SYNTACTIC TYPE SOUNDNESS / Ann Again / /

/

Position

interpreter / and experimenting with partial applications / interpreter / /

Product

expressions / /

ProgrammingLanguage

E / Objective Caml / ML / Standard ML of New Jersey / /

ProvinceOrState

New Jersey / /

Technology

inference algorithm / dom / /

SocialTag