![Computer programming / Data types / Functional languages / Procedural programming languages / Functional programming / Standard ML / Algebraic data type / Type system / Tagged union / Software engineering / Computing / Type theory Computer programming / Data types / Functional languages / Procedural programming languages / Functional programming / Standard ML / Algebraic data type / Type system / Tagged union / Software engineering / Computing / Type theory](https://www.pdfsearch.io/img/491adbbdbda58a56f48b8c0198c691fd.jpg)
| Document Date: 2011-11-23 03:22:14 Open Document File Size: 197,66 KBShare Result on Facebook
City Sasaguri / Portland / Baltimore / Cambridge / / Company Prentice-Hall / MIT Press / / Country Japan / Spain / / Facility Kyoto University Research Institute / / IndustryTerm unification algorithm / type checking algorithm / / Organization Institute for Mathematical Sciences / MIT / Kyoto University / / Person Peyton Jones / Jacques Garrigue† Polymorphic / / Position Harper / programmer / / ProgrammingLanguage Objective Caml / ML / / ProvinceOrState Oregon / Massachusetts / / Technology Functional Programming / typing algorithm / unification algorithm / type checking algorithm / /
SocialTag |