Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Ancona, D., Zucca, E.: A Calculus of Module Systems. Journal of Functional Programming (JFP) (2002)
2. Baldan, P., Ghelli, G., Raffaetà, A.: Basic Theory of F-bounded Quantification. Information and Computation (1999)
3. Boudol, G.: The Recursive Record Semantics of Objects Revisited. Journal of Functional Programming (JFP) (2004)
4. Bracha, G.: The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. PhD thesis, University of Utah (1992)
5. Bruce, K.B., Cardelli, L., Pierce, B.C.: Comparing Object Encodings. Information and Computation (1999)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Revisiting Iso-Recursive Subtyping;ACM Transactions on Programming Languages and Systems;2022-09-21
2. Revisiting iso-recursive subtyping;Proceedings of the ACM on Programming Languages;2020-11-13
3. IsoLATE: A Type System for Self-recursion;Programming Languages and Systems;2015