Author:
ANCONA DAVIDE,ZUCCA ELENA
Publisher
Cambridge University Press (CUP)
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations;Proceedings of the ACM on Programming Languages;2023-01-09
2. Incremental type-checking for free: using scope graphs to derive incremental type-checkers;Proceedings of the ACM on Programming Languages;2022-10-31
3. Compositional Programming;ACM Transactions on Programming Languages and Systems;2021-09-30
4. Classless Java;ACM SIGPLAN Notices;2017-05-12
5. Classless Java;Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2016-10-20