Semantic Subtyping: dealing set-theoretically with function, union, intersection and negation types

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:03
TitleSemantic Subtyping: dealing set-theoretically with function, union, intersection and negation types
Publication TypeJournal Article
Year of Publication2008
AuthorsFrisch, A, Castagna, G, Benzaken, V
JournalJournal of the ACM
Volume55
Pagination1–64