Back to Results
First PageMeta Content
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


A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole
Add to Reading List

Document Date: 2013-12-06 16:18:26

Open Document

File Size: 263,20 KB

Share 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