![Programming language theory / Data types / Object-oriented programming / Polymorphism / Subtype polymorphism / Type system / Universal type / System F / Curry / Software engineering / Type theory / Computing Programming language theory / Data types / Object-oriented programming / Polymorphism / Subtype polymorphism / Type system / Universal type / System F / Curry / Software engineering / Type theory / Computing](https://www.pdfsearch.io/img/964b8834f278709e1e607f89efbd8041.jpg)
| Document Date: 2013-12-06 16:18:28 Open Document File Size: 645,81 KBShare Result on Facebook
City Paris / Turin / / Currency USD / / Facility Benjamin Pier / / IndustryTerm types systems / ent type systems / opyright/server / omplete subtyping algorithm / / Person VÉRONIQUE BENZAKEN LRI / Lexi / Bertrand Russell / Giuseppe Castagna / Alfred Whitehead / Denis Diderot / ALAIN FRISCH / GIUSEPPE CASTAGNA CNRS / Véronique Benzaken / John Reynolds / Roger Hindley / Alain Fris / / Position Program Constru ts Type stru ture General / programmer / / Product F-92100 Boulogne-Billan / / ProgrammingLanguage XML / / ProvinceOrState Indiana / / PublishedMedium Journal of the ACM / / Technology subtyping algorithm / LAN / XML / omplete subtyping algorithm / /
SocialTag |