Back to Results
First PageMeta Content
Theoretical computer science / Data types / Computing / Models of computation / Formal methods / Subtype polymorphism / Lambda calculus / Type system / Polymorphism / Software engineering / Type theory / Object-oriented programming


Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1
Add to Reading List

Document Date: 2012-05-16 06:05:46

Open Document

File Size: 300,22 KB

Share Result on Facebook

City

Tokyo / Beijing / Paris / /

Company

State Key Laboratory / /

Country

China / France / Japan / /

Currency

USD / /

Facility

Institute of Software / State Key Laboratory of Computer Science / /

IndustryTerm

web-site paths / type systems / /

Organization

Chinese Academy of Science / Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Zhiwu Xu1 / 2 / Institute of Software / US Federal Reserve / /

Person

John Reynolds / /

Position

General / This author / model for the polymorphic types / programmer / /

ProgrammingLanguage

Xhtml / XQuery / XML / /

Technology

subtyping algorithm / XML / simulation / /

SocialTag