CitedEvidenceResearch APIs

Article

Article detail, metadata, authors, and available full-text links.

Paper reader

Loading paper...

book-chapter · 2014

Preciseness of Subtyping on Intersection and Union Types

8 citationsDOI: https://doi.org/10.1007/978-3-319-08918-8_14
Preciseness of Subtyping on Intersection and Union Types