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


Information and Computation 155, [removed]Article ID inco[removed], available online at http://www.idealibrary.com Semi-Explicit First-Class Polymorphism for ML† Jacques Garrigue
Add to Reading List

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

Open Document

File Size: 366,61 KB

Share Result on Facebook

City

Article / Kyoto / /

Company

BP / /

Country

Japan / /

Facility

Jacques Garrigue Kyoto University Research Institute / /

IndustryTerm

elimination site / search space / naive solution / /

Organization

FV (V) / United Nations / Institute for Mathematical Sciences / Kyoto University / /

Person

Jacques Garrigue / /

ProgrammingLanguage

Haskell / ML / R / /

URL

http /

SocialTag