![Computing / Data types / Object-oriented programming / Lambda calculus / Polymorphism / Subtype polymorphism / Type system / Simply typed lambda calculus / Denotational semantics / Type theory / Software engineering / Theoretical computer science Computing / Data types / Object-oriented programming / Lambda calculus / Polymorphism / Subtype polymorphism / Type system / Simply typed lambda calculus / Denotational semantics / Type theory / Software engineering / Theoretical computer science](https://www.pdfsearch.io/img/3ca476f1f4b3d9fea48e371da8e3c711.jpg)
| Document Date: 2013-12-06 16:18:26 Open Document File Size: 263,20 KBShare Result on Facebook
City Lisbon / Paris / Turin / / Country Portugal / / Currency pence / USD / / IndustryTerm machinery / recent type systems / types systems / smallest solution / finite products / least solution / disjunctive algorithm / model streaming processing / classical solution / / Organization Ecole Normale Superieure / / Person Bertrand Russell / Alfred Whitehead / Benjamin Pierce / Alain Frisch / John Reynolds / Roger Hindley / Haruo Hosoya / Daniele Varacca / / Position CDuce interpreter / calculus and related systems General / model / programmer / / ProgrammingLanguage Lambda calculus / Mathematica / XML / / Technology subtyping algorithm / XML / subtyping algorithms / caching / /
SocialTag |