Author:
Zhou Yaoda,Oliveira Bruno C. d. S.,Fan Andong
Publisher
Springer Nature Switzerland
Reference47 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996). https://doi.org/10.1007/978-1-4419-8598-9
2. Lecture Notes in Computer Science;J Alpuim,2017
3. Amin, N., Rompf, T., Odersky, M.: Foundations of path-dependent types. In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming, Systems, Languages, and Applications. OOPSLA 2014. Association for Computing Machinery (2014)
4. Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. J. Symb. Logic 48(4), 931–940 (1983)
5. Bi, X., Oliveira, B.C.d.S.: Typed first-class traits. In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018) (2018)