![Computing / Type inference / Type system / ML / Parametric polymorphism / Hindley–Milner / System F / Polymorphism / Type safety / Type theory / Software engineering / Programming language theory Computing / Type inference / Type system / ML / Parametric polymorphism / Hindley–Milner / System F / Polymorphism / Type safety / Type theory / Software engineering / Programming language theory](https://www.pdfsearch.io/img/a08d07f1a3a4ba62e05737ca34074fa9.jpg)
| Document Date: 2011-11-23 03:22:14 Open Document File Size: 366,61 KBShare 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 |