Author:
Moors Adriaan,Piessens Frank,Odersky Martin
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Associated Effects: Flexible Abstractions for Effectful Programming;Proceedings of the ACM on Programming Languages;2024-06-20
2. Choral: Object-oriented Choreographic Programming;ACM Transactions on Programming Languages and Systems;2024-01-16
3. Types that Change: The Extensible Type Design Pattern;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30
4. Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers;Proceedings of the ACM on Programming Languages;2021-10-20
5. A theory of higher-order subtyping with type intervals;Proceedings of the ACM on Programming Languages;2021-08-22