Affiliation:
1. EPFL, Switzerland
2. Cornell University, USA
Funder
National Science Foundation
European Research Council
Reference42 articles.
1. The Essence of Dependent Object Types
2. Foundations of path-dependent types
3. Making the future safe for the past
4. Andrey Breslav. The Kotlin language documentation February 2016. Andrey Breslav. The Kotlin language documentation February 2016.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. API-Driven Program Synthesis for Testing Static Typing Implementations;Proceedings of the ACM on Programming Languages;2024-01-05
2. Wildcards need witness protection;Proceedings of the ACM on Programming Languages;2022-10-31
3. Programming as architecture, design, and urban planning;Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2021-10-17
4. ιDOT: a DOT calculus with object initialization;Proceedings of the ACM on Programming Languages;2020-11-13
5. A path to DOT: formalizing fully path-dependent types;Proceedings of the ACM on Programming Languages;2019-10-10