Author:
Xue Xu,Oliveira Bruno C. d. S.,Xie Ningning
Publisher
Springer Nature Switzerland
Reference29 articles.
1. Applicative Intersection Types (Artifact). Zenodo, August 2022. https://doi.org/10.5281/zenodo.7004695
2. Lecture Notes in Computer Science;J Alpuim,2017
3. Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment1. The journal of symbolic logic 48(4), 931–940 (1983)
4. Bi, X., Oliveira, B.C.D.S., Schrijvers, T.: The essence of nested composition. In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2018)
5. Bobrow, D.G., DeMichiel, L.G., Gabriel, R.P., Keene, S.E., Kiczales, G., Moon, D.A.: Common lisp object system specification. ACM SIGPLAN Not. 23(SI), 1–142 (1988)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Contextual Typing;Proceedings of the ACM on Programming Languages;2024-08-15