Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Semantic Subtyping for Session Types Luca Padovani Dipartimento di Informatica, Università di Torino BTW’11
Add to Reading List
Document Date: 2011-05-03 07:43:14
Open Document
File Size: 104,54 KB
Share Result on Facebook
Product
T10 /
/
SocialTag
Polymorphism
Data types
Subtype polymorphism
Computing
Object-oriented programming
Type theory
Software engineering