Author:
Ancona Davide,Moggi Eugenio
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Ariola, Z.M., Blom, S.: Skew confluence and the lambda calculus with letrec. Annals of pure and applied logic 117(1-3), 95–178 (2002)
2. Lecture Notes in Computer Science;D. Ancona,1999
3. Ancona, D., Zucca, E.: A calculus of module systems. J. Funct. Programming 12(2), 91–132 (2002); Extended version of [AZ99]
4. Cardelli, L.: Program fragments, linking, and modularization. In: Conf. Rec. POPL 1997: 24th ACM Symp. Princ. of Prog. Langs., pp. 266–277 (1997)
5. Cardelli, L., Mitchell, J.C.: Operations on records. In: Gunter, C.A., Mitchell, J.C. (eds.) Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, pp. 295–350. The MIT Press, Cambridge (1994)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Type safe incremental rebinding;Mathematical Structures in Computer Science;2015-05-15
2. Reconciling positional and nominal binding;Electronic Proceedings in Theoretical Computer Science;2013-07-30
3. Benchmarking and performance enhancement framework for multi-staging object-oriented languages;Ain Shams Engineering Journal;2013-06
4. Intersection types for unbind and rebind;Electronic Proceedings in Theoretical Computer Science;2011-01-22
5. Mint;ACM SIGPLAN Notices;2010-06-12