Back to Results
First PageMeta Content
Data types / Object-oriented programming / Programming language theory / Polymorphism / Subtype polymorphism / CDuce / E / Type system / Semantics / Type theory / Computing / Software engineering


Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud)
Add to Reading List

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

Open Document

File Size: 416,01 KB

Share Result on Facebook

Person

Veronique Benzaken / Giuseppe Castagna / /

Position

Prime Minister / Circularities Type system Subtyping PM / /

ProgrammingLanguage

XML / /

Technology

subtyping algorithm / XML / /

URL

http /

SocialTag