Intersection Types in Java: Back to the Future-Reference-Cited by-同舟云学术

Intersection Types in Java: Back to the Future

Published:2019 Issue: Volume: Page:68-86
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Dezani-Ciancaglini Mariangiola,Giannini Paola,Venneri Betti

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-22348-9_6

Reference9 articles.

1. Bettini, L., Bono, V., Dezani-Ciancaglini, M., Giannini, P., Venneri, B.: Java & lambda: a featherweight story. Logical Meth. Comput. Sci. 14(3) (2018)

2. Büchi, M., Weck, W.: Compound types for Java. In: Freeman-Benson, B.N., Chambers, C. (eds.) OOPSLA, pp. 362–373. ACM (1998)

3. Coppo, M., Dezani-Ciancaglini, M., Venneri, B.: Functional characters of solvable terms. Math. Logic Q. 27(2–6), 45–58 (1981)

4. Davies, R., Pfenning, F.: Intersection types and computational effects. In: Odersky, M., Wadler, P. (eds.) ICFP, pp. 198–208. ACM (2000)

5. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley, Reading (1995)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Monadic Intersection Types, Relationally;Lecture Notes in Computer Science;2024

2. Gradual Guarantee for FJ with lambda-Expressions;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18

3. Multi types and reasonable space;Proceedings of the ACM on Programming Languages;2022-08-29

4. A Subtyping Scheme for Nominal and Structural Types Based on Class Graph Equivalence;2021 4th International Conference on Blockchain Technology and Applications;2021-12-17

5. Pathless Scala: a calculus for the rest of Scala;Proceedings of the 12th ACM SIGPLAN International Symposium on Scala;2021-10-17