Author:
Bi Xuan,Xie Ningning,Oliveira Bruno C. d. S.,Schrijvers Tom
Publisher
Springer International Publishing
Reference55 articles.
1. Lecture Notes in Computer Science;A Ahmed,2006
2. Alpuim, J., Oliveira, B.C.d.S., Shi, Z.: Disjoint polymorphism. In: Yang, H. (ed.) ESOP 2017. LNCS, vol. 10201, pp. 1–28. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-54434-1_1
3. Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. J. Symb. Logic 48(04), 931–940 (1983)
4. Bi, X., Oliveira, B.C.d.S.: Typed first-class traits. In: European Conference on Object-Oriented Programming (ECOOP) (2018)
5. Bi, X., Oliveira, B.C.d.S., Schrijvers, T.: The essence of nested composition. In: European Conference on Object-Oriented Programming (ECOOP) (2018)
Cited by
6 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. Compositional embeddings of domain-specific languages;Proceedings of the ACM on Programming Languages;2022-10-31
3. A Calculus with Recursive Types, Record Concatenation and Subtyping;Programming Languages and Systems;2022
4. Compositional Programming;ACM Transactions on Programming Languages and Systems;2021-09-30
5. Taming the Merge Operator;Journal of Functional Programming;2021