![Computing / Type class / Type inference / Type system / Hindley–Milner / Generalized algebraic data type / Kind / Parametric polymorphism / Constraint / Type theory / Software engineering / Programming language theory Computing / Type class / Type inference / Type system / Hindley–Milner / Generalized algebraic data type / Kind / Parametric polymorphism / Constraint / Type theory / Software engineering / Programming language theory](https://www.pdfsearch.io/img/4fb8c0f841b05ba7d28ee136af233064.jpg)
| Document Date: 2009-11-12 10:54:14 Open Document File Size: 242,62 KBShare Result on Facebook
City Madrid / Cambridge / / Company NoGen / Wright / Microsoft / / Country Belgium / United Kingdom / Spain / / Currency pence / / / Facility Scrap Your Boilerplate library / Hackage library / / IndustryTerm software-engineering / inference algorithm / reasonable algorithm / call site / automatic code refactoring tools / type systems / described algorithm / present type inference infrastructure / / Organization Katholieke Universiteit Leuven / Fund for Scientific Research / / Person Mark Jones / Simon Peyton Jones Tom Schrijvers / / Position red-blooded functional programmer / Structure General / Post-doctoral researcher / programmer / / Product Pentax K-x Digital Camera / / ProgrammingLanguage Haskell / R / ML / K / / Technology Java / Hindley-Milner algorithm / inference algorithm / reasonable algorithm / informally described algorithm / /
SocialTag |