Author:
Ancona Davide,Zucca Elena
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer, New York (1996)
2. Ancona, D.: Modular Formal Frameworks for Module Systems. PhD thesis, Dipartimento di Informatica, Università di Pisa (1998)
3. Ancona, D.: An algebraic framework for separate type-checking. In: Fiadeiro, J. (ed.) WADT 1998. LNCS, vol. 1589, pp. 1–15. Springer, Heidelberg (1999) (to appear)
4. Lecture Notes in Computer Science;D. Ancona,1997
5. Ancona, D., Zucca, E.: A theory of mixin modules: Basic and derived operators. Mathematical Structures in Computer Science 8(4), 401–446 (1998)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A calculus of open modules: call-by-need strategy and confluence;Mathematical Structures in Computer Science;2007-08
2. Recursive type generativity;Journal of Functional Programming;2007-07
3. A Core Calculus for Scala Type Checking;Lecture Notes in Computer Science;2006
4. Scheme with Classes, Mixins, and Traits;Programming Languages and Systems;2006
5. Program Generation and Components;Formal Methods for Components and Objects;2005