Subtyping and intersection types revisited
Abstract
References
Recommendations
Subtyping and intersection types revisited
Proceedings of the ICFP '07 conferenceChurch's system of simple types has proven to be remarkably robust: call-by-name, call-by-need, and call-by-value languages, with or without effects, and even logical frameworks can be based on the same typing rules. When type systems become more ...
Judgmental subtyping systems with intersection types and modal types
We study how to extend modal type systems based on intuitionistic modal logic S4 or S5 with a subtyping system based on intersection types. In the presence of four type constructors $${\!}\!\rightarrow \!{\!},\,{\!}\wedge {\!},\,\square {}$$ , , , and $$\Diamond {}$$ , the traditional approach using a binary subtyping relation does ...
On subtyping, wildcards, and existential types
FTfJP '09: Proceedings of the 11th International Workshop on Formal Techniques for Java-like ProgramsWildcards are an often confusing part of the Java type system: the behaviour of wildcard types is not fully specified by subtyping, due to wildcard capture, and the rules for type checking are often misunderstood. Their very formulation seems somehow '...
Comments
Information & Contributors
Information
Published In
![cover image ACM Conferences](/cms/asset/b46e9b42-62f6-431a-b04d-28115dc617b5/1291151.cover.gif)
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 202Total Downloads
- Downloads (Last 12 months)4
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in