Author:
Lagorio Giovanni,Servetto Marco,Zucca Elena
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Ancona, D., Lagorio, G., Zucca, E.: Jam–designing a Java extension with mixins. ACM Transactions on Programming Languages and Systems 25(5), 641–712 (2003)
2. Lecture Notes in Computer Science;D. Ancona,1997
3. Ancona, D., Zucca, E.: A calculus of module systems. Journ. of Functional Programming 12(2), 91–132 (2002)
4. Lecture Notes in Computer Science;A. Bergel,2007
5. Bergel, A., Ducasse, S., Nierstrasz, O., Wuyts, R.: Stateful traits and their formalization. Comput. Lang. Syst. Struct. 34(2-3), 83–108 (2008)
Cited by
11 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. Variability modules;Journal of Systems and Software;2023-01
3. Compositional Programming;ACM Transactions on Programming Languages and Systems;2021-09-30
4. Iteratively Composing Statically Verified Traits;Electronic Proceedings in Theoretical Computer Science;2019-08-20
5. Implementing type-safe software product lines using parametric traits;Science of Computer Programming;2015-01