| 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 |