![Computer programming / Data types / Object-oriented programming / Lambda calculus / Polymorphism / Subtype polymorphism / Type system / System F / Foreach loop / Software engineering / Computing / Type theory Computer programming / Data types / Object-oriented programming / Lambda calculus / Polymorphism / Subtype polymorphism / Type system / System F / Foreach loop / Software engineering / Computing / Type theory](https://www.pdfsearch.io/img/5a2dace0971a547465a53ad251ee3d5b.jpg)
| Document Date: 2005-06-07 07:06:13 Open Document File Size: 168,24 KBShare Result on Facebook
Company ACM Press / / Country Italy / / / Facility University of Padova / / IndustryTerm type inference algorithm / / Person Min Appl / Bi / Min Obj / Silvia Crafa Dip / / Position author / / ProgrammingLanguage Lambda Calculus / / PublishedMedium Lecture Notes in Computer Science / / Technology Functional Programming / object-oriented programming / type inference algorithm / /
SocialTag |