Judgmental subtyping systems with intersection types and modal types
Abstract
References
- Judgmental subtyping systems with intersection types and modal types
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 ...
Subtyping and intersection types revisited
ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programmingChurch'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 ...
Finite combinatory logic with intersection types
TLCA'11: Proceedings of the 10th international conference on Typed lambda calculi and applicationsCombinatory logic is based on modus ponens and a schematic (polymorphic) interpretation of axioms. In this paper we propose to consider expressive combinatory logics under the restriction that axioms are not interpreted schematically but "literally", ...
Comments
Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
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