![Software engineering / Theoretical computer science / Lambda calculus / Inference / Type inference / Hindley–Milner / System F / Greek alphabet / Type theory / Type systems / Programming language theory Software engineering / Theoretical computer science / Lambda calculus / Inference / Type inference / Hindley–Milner / System F / Greek alphabet / Type theory / Type systems / Programming language theory](https://www.pdfsearch.io/img/db0133006c22863179d811db8c311f0d.jpg)
| Document Date: 2014-07-10 05:47:09 Open Document File Size: 206,37 KBShare Result on Facebook
City Victoria / / Company Microsoft / / Country Canada / / Currency USD / / / Facility Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich University of Pennsylvania / / IndustryTerm machinery / actual algorithm / type inference algorithm / function applications / decidable type inference algorithm / inference algorithm / low-level algorithm / simpler type inference algorithm / low-level constraint-based algorithm / / Organization University of Pennsylvania / / Person Peyton Jones / DamasMilner / / Position first author / General / programmer / / ProgrammingLanguage Haskell / R / ML / / ProvinceOrState British Columbia / Pennsylvania / Victoria / / Technology inference algorithm / decidable type inference algorithm / type inference algorithm / low-level algorithm / much simpler type inference algorithm / same algorithm / low-level constraint-based algorithm / actual algorithm / / URL www.cis.upenn.edu/~dimitriv/fph / /
SocialTag |