Export Citations
1 Results for: Keyword: Algorithmic Typing
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,764,830 records)|Limit your search to The ACM Full-Text Collection (758,083 records)
Showing 1 - 1of1 Results
Undecidability of d<: and its decidable fragments
Proceedings of the ACM on Programming Languages (PACMPL), Volume 4, Issue POPLArticle No.: 9, Pages 1–30https://doi.org/10.1145/3371077Dependent Object Types (DOT) is a calculus with path dependent types, intersection types, and object self-references, which serves as the core calculus of Scala 3. Although the calculus has been proven sound, it remains open whether type checking in DOT ...