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


Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3
Add to Reading List

Document Date: 2014-11-21 05:56:58

Open Document

File Size: 133,31 KB

Share Result on Facebook

Country

France / Italy / /

IndustryTerm

non trivial mathematical machinery / machinery / semantic subtyping machinery / Type systems / elegant solution / classical solution / /

Person

J KB / /

Position

model / programmer / /

ProgrammingLanguage

C / XML / K / Java / L / /

Technology

XML / Java / /

SocialTag