Challenges in type systems research
Abstract
Type systems are one backbones of programming language design and implementation. Current research addresses questions in fields as diverse as mathematical logic, program analysis, and human factors engineering. Some of the future challenges for the field are: increasing the expressiveness of typed programming languages, broadening the information carried by types, and making type systems amenable to user definition and customization.
Index Terms
- Challenges in type systems research
Recommendations
Relating typability and expressiveness in finite-rank intersection type systems (extended abstract)
ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programmingWe investigate finite-rank intersection type systems, analyzing the complexity of their type inference problems and their relation to the problem of recognizing semantically equivalent terms. Intersection types allow something of type τ1 Λ &...
Relating typability and expressiveness in finite-rank intersection type systems (extended abstract)
We investigate finite-rank intersection type systems, analyzing the complexity of their type inference problems and their relation to the problem of recognizing semantically equivalent terms. Intersection types allow something of type τ1 Λ &...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Jan. 1997
107 pages
Copyright © 1997 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 1997
Published in SIGPLAN Volume 32, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 207Total Downloads
- Downloads (Last 12 months)31
- Downloads (Last 6 weeks)4
Reflects downloads up to 14 Nov 2024
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