![Type theory / Formal methods / Models of computation / Lambda calculus / Symbol / System F / Hindley–Milner / Ordinal number / Dynamical system / Theoretical computer science / Mathematics / Applied mathematics Type theory / Formal methods / Models of computation / Lambda calculus / Symbol / System F / Hindley–Milner / Ordinal number / Dynamical system / Theoretical computer science / Mathematics / Applied mathematics](https://www.pdfsearch.io/img/3837af5c5a6d0a03820bcbb887ad38be.jpg)
| Document Date: 2003-07-22 09:19:37 Open Document File Size: 198,45 KBShare 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 |