Call-by-value mixin modules-reduction semantics, side effects, types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2986, Issue , 2004, Pages 64-78

  Hirschowitz, Tom ^a   Leroy, Xavier ^b   Wells, J B ^c  

^a UNIVERSITÉ DE LYON   (France)

^b INRIA ROCQUENCOURT   (France)

^c HERIOT WATT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

LATE BINDINGS; MODULAR PROGRAMMING; RECURSIONS; REDUCTION SEMANTICS; SIDE EFFECT; TYPE SYSTEMS; VALUE EVALUATIONS;

SEMANTICS;

EID: 35048842797     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24725-8_6     Document Type: Article

References (26)

1. D. Ancona, S. Fagorzi, E. Moggi, E. Zucca. Mixin modules and computational effects. In Int'l Col. on Automata, Lang, and Progr., 2003.
2. D. Ancona, E. Zucca. A calculus of module systems. J. Func. Progr., 12(2), 2002.
3. V. Bono, A. Patel, V. Shmatikov. A core calculus of classes and mixins. In R. Guerraoui, ed., Europ. Conf, on Object-Oriented Progr., vol. 1628 of LNCS. Springer-Verlag, 1999.
4. G. Bracha. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. PhD thesis, University of Utah, 1992.
5. L. Cardelli. Program fragments, linking, and modularization. In 24th symp. Principles of Progr. Lang. ACM Press, 1997.
6. W. R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Department of Computer Science, Brown University, 1989.
7. K. Crary, R. Harper, S. Puri. What is a recursive module? In Prog. Lang. Design and Impl. ACM Press, 1999.
8. D. Dreyer. A type system for well-founded recursion. In 31st symp. Principles of Progr. Lang. ACM Press, 2004. To appear.
9. D. R. Dreyer, R. Harper, K. Crary. Toward a practical type theory for recursive modules. Technical Report CMU-CS-01-112, Carnegie Mellon University, Pittsburgh, PA, 2001.
10. D. Duggan, C. Sourelis. Mixin modules. In Int. Conf. on Functional Progr. ACM Press, 1996.
11. R. B. Findler, M. Flatt. Modular object-oriented programming with units and mixins. In Int. Conf. on Functional Progr. ACM Press, 1998.
12. M. Flatt, M. Felleisen. Units: cool modules for HOT languages. In Prog. Lang. Design and Impl. ACM Press, 1998.
13. M. Flatt, S. Krishnamurthi, M. Felleisen. Classes and mixins. In 25th symp. Principles of Progr. Lang. ACM Press, 1998.
14. R. Harper, M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In 21st symp. Principles of Progr. Lang. ACM Press, 1994.
15. R. Harper, B. Pierce. A record calculus based on symmetric concatenation. In 18th symp. Principles of Progr. Lang., Orlando, Florida, 1991.
16. T. Hirschowitz. Modules mixins, modules et récursion étendue en appel par valeur. PhD thesis, University of Paris VII, 2003.
17. T. Hirschowitz, X. Leroy. Mixin modules in a call-by-value setting. In D. Le Métayer, ed., Europ. Symp. on Progr., vol. 2305 of LNCS, 2002.
18. T. Hirschowitz, X. Leroy, J. B. Wells. Compilation of extended recursion in callby-value functional languages. In Princ. and Practice of Decl. Prog. ACM Press, 2003.
19. T. Hirschowitz, X. Leroy, J. B. Wells. A reduction semantics for call-by-value mixin modules. Research report RR-4682, INRIA, 2003.
20. X. Leroy. Manifest types, modules, and separate compilation. In 21st symp. Principles of Progr. Lang. ACM Press, 1994.
21. E. Machkasova, F. A. Turbak. A calculus for link-time compilation. In Europ. Symp. on Progr., vol. 1782 of LNCS. Springer-Verlag, 2000.
22. D. A. Moon. Object-oriented programming with Flavors. In OOPSLA, 1986.
23. M. Odersky, V. Cremet, C. Röckl, M. Zenger. A nominal theory of objects with dependent types. FOOL'03.
24. F. Pottier. A versatile constraint-based type inference system. Nordic Journal of Computing, 7(4), 2000.
25. C. V. Russo. Recursive structures for Standard ML. In Int. Conf. on Functional Progr. ACM Press, 2001.
26. J. B. Wells, R. Vestergaard. Equational reasoning for linking with first-class primitive modules. In Europ. Symp. on Progr., vol. 1782 of LNCS. SpringerVerlag, 2000.