Back to Results
First PageMeta Content
Mathematics / Data types / Object-oriented programming / Lambda calculus / Polymorphism / Subtype polymorphism / Type system / System F / Calculus / Type theory / Software engineering / Theoretical computer science


Encodings of Extensible Objects and Types Viviana Bono Dipartimento di Informatica Universit`a di Torino http://www.di.unito.it/∼bono
Add to Reading List

Document Date: 2005-06-07 06:29:01

Open Document

File Size: 349,09 KB

Share Result on Facebook

/

IndustryTerm

machinery / type systems / /

Person

Michele Bugliesi Silvia Crafa / /

Position

Fisher / /

ProgrammingLanguage

Lambda Calculus / K / T / /

Technology

functional programming / object-oriented programming / /

URL

http /

SocialTag