![Type theory / Object-oriented programming / Data types / Cross-platform software / Polymorphism / Type system / Object / Subtype polymorphism / Type inference / Software engineering / Computing / Computer programming Type theory / Object-oriented programming / Data types / Cross-platform software / Polymorphism / Type system / Object / Subtype polymorphism / Type inference / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/a544d940e658a2dd14ca4d7fdadc21ac.jpg)
| Document Date: 2006-09-07 12:33:54 Open Document File Size: 134,53 KBShare Result on Facebook
Company ASSIGNEDNAME / / / Facility Maple library / Maple’s library / / IndustryTerm i.e. function applications / reflection tools / main requirements analysis tool / type systems / main data-mining results / call site / / Organization McMaster University / / Person Jacques Carette / / / Position guard / / ProgrammingLanguage Haskell / / ProvinceOrState Oregon / Ontario / / PublishedMedium the Advanced Programming Guide / / Technology functional programming / / URL www.elsevier.nl/locate/entcs / /
SocialTag |