![Programming language theory / Computing / Object-oriented programming / Polymorphism / Deduction / Subtype polymorphism / Symbol / Type system / System F / Type theory / Software engineering / Data types Programming language theory / Computing / Object-oriented programming / Polymorphism / Deduction / Subtype polymorphism / Symbol / Type system / System F / Type theory / Software engineering / Data types](https://www.pdfsearch.io/img/5f5c4cdfa5261d781d449e5a5a0a9933.jpg)
| Document Date: 2005-06-07 07:03:50 Open Document File Size: 246,10 KBShare Result on Facebook
City Padova / Paris / / Company MIT Press / / Country Italy / United Kingdom / / Currency pence / / / Facility C. Hall / University of Padova / / IndustryTerm Polynomial-time algorithms / inference algorithm / refined solution / polynomial-time algorithm / type inference algorithm / simplification algorithms / type systems / closure algorithm / incremental closure algorithm / / Organization Santiago M. PericĀ“as-Geertsen Department / MIT / Department of Mathematics / Boston University / University of Padova / / Person Francois Pottier / Jens Palsberg / Marina Baldan / Addison Wesley / Alan Mycroft / Patric Cousot / L. Peyton Jones / Craig Chambers / Michele Bugliesi Dipartimento di Informatica / Santiago M. Peric / / Position judge / / ProgrammingLanguage Haskell / Java / ML / / TVStation Wand / / Technology simplification algorithms / incremental closure algorithm / Java / Information Technology / Polynomial-time algorithms / polynomial-time algorithm / inference algorithm / Dom / closure algorithm / type inference algorithm / 5 Type Inference The type inference algorithm / / URL http /
SocialTag |