Back to Results
First PageMeta Content
Type theory / Formal methods / Models of computation / Lambda calculus / Symbol / System F / Hindley–Milner / Ordinal number / Dynamical system / Theoretical computer science / Mathematics / Applied mathematics


MLF Raising ML to the Power of System F Didier Le Botlan and Didier Rémy INRIA-Rocquencourt[removed]Le Chesnay Cedex, France
Add to Reading List

Document Date: 2003-07-22 09:19:37

Open Document

File Size: 198,45 KB

Share Result on Facebook

City

Uppsala / /

Company

Odersky and Laufer / /

Country

Sweden / /

Currency

USD / /

/

IndustryTerm

expressive type systems / type applications / /

Organization

United Nations / /

Person

Didier Le Botlan / Didier Rémy / /

Position

programmer / /

ProgrammingLanguage

Haskell / ML / R / /

Technology

dom / /

SocialTag