A nominal theory of objects with dependent types

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

Volumn 2743, Issue , 2003, Pages 201-224

  Odersky, Martin ^a   Cremet, Vincent ^a   Röckl, Christine ^a   Zenger, Matthias ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CALCULATIONS; JAVA PROGRAMMING LANGUAGE;

ABSTRACT TYPES; DEPENDENT TYPE SYSTEM; DEPENDENT TYPES; FAMILY POLYMORPHISMS; MODULE SYSTEMS; OBJECT SYSTEMS; TYPECHECKING; UNDECIDABILITY;

OBJECT ORIENTED PROGRAMMING;

EID: 35248820769     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45070-2_10     Document Type: Article

References (44)

1. Martin Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science. Springer Verlag, 1996.
2. Davide Ancona and Elena Zucca. A primitive calculus for module systems. In Principles and Practice of Declarative Programming, LNCS 1702, 1999.
3. Davide Ancona and Elena Zucca. A calculus of module systems. Journal of Functional Programming, 2002.
4. H.P. Barendregt, M. Coppo, and M. Dezani-Ciancaglini. A filter lambda model and the completeness of type assignment. Journal of Symbolic Logic, 48(4):931-940, 1983.
5. Viviana Bono, Amit Patel, and Vitaly Shmatikov. A core calculus of classes and mixins. In Proceedings of the 13th European Conference on Object-Oriented Programming, pages 43-66, Lisbon, Portugal, 1999.
6. Gérard Boudol. The recursive record semantics of objects revisited. Technical Report 4199, INRIA, jun 2001. to appear in Journal of Functional Programming.
7. Gilad Bracha. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. PhD thesis, University of Utah, 1992.
8. Gilad Bracha and D. Griswold. Extending Smalltalk with mixins. In OOPSLA '96 Workshop on Extending the Smalltalk Language, April 1996.
9. Gilad Bracha and Gary Lindstrom. Modularity meets inheritance. In Proceedings of the IEEE Computer Society International Conference on Computer Languages, pages 282-290, Washington, DC, 1992. IEEE Computer Society.
10. Kim B. Bruce. Foundations of Object-Oriented Programming Languages: Types and Semantics. MIT Press, Cambridge, Massachusetts, February 2002. ISBN 0-201-17888-5.
11. Kim B. Bruce, Adrian Fiech, and Leaf Petersen. Subtyping is not a good "Match" for object-oriented languages. In Proceedings of the European Conference on Object-Oriented Programming, pages 104-127, 1997.
12. Kim B. Bruce, Martin Odersky, and Philip Wadler. A statical safe alternative to virtual types. In Proceedings of the 5th International Workshop on Foundations of Object-Oriented Languages, San Diego, USA, 1998.
13. Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Modula-3 language definition. ACM SIGPLAN Notices, 27(8):15-42, August 1992.
14. Luca Cardelli, Simone Martini, John C. Mitchell, and Andre Scedrov. An extension of system F with subtyping. Information and Computation, 109(1-2):4-56, 1994 1994.
15. Luca Cardelli and John Mitchell. Operations on records. Mathematical Structures in Computer Science, 1:3-38, 1991.
16. Karl Crary, Robert Harper, and Sidd Puri. What is a recursive module? In SIGPLAN Conference on Programming Language Design and Implementation, pages 50-63, 1999.
17. Ole-Johan Dahl, Bjørn Myhrhaug, and Kristen Nygaard. Simula: Common base language. Technical report, Norwegian Computing Center, October 1970.
18. Dominic Duggan and Constantinos Sourelis. Mixin modules. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pages 262-273, Philadelphia, Pennsylvania, June 1996.
19. Erik Ernst. gBeta: A language with virtual attributes, block structure and propagating, dynamic inheritance. PhD thesis, Department of Computer Science, University of Aarhus, Denmark, 1999.
20. Erik Ernst. Family polymorphism. In Proceedings of the European Conference on Object-Oriented Programming, pages 303-326, Budapest, Hungary, 2001.
21. Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and mixins. In Proceedings of the 25th ACM Symposium on Principles of Programming Languages, pages 171-183, San Diego, California, 1998.
22. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Java Series, Sun Microsystems, second edition, 2000. ISBN 0-201-31008-2.
23. Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proceedings of the 21st ACM Symposium on Principles of Programming Languages, January 1994.
24. Atsushi Igarashi. On inner classes. In Proceedings of the European Conference on Object-Oriented Programming, Cannes, France, June 2000.
25. Atsushi Igarashi and Benjamin C. Pierce. Foundations for virtual types. Proc. ECOOP'99, Lecture Notes in Computer Science, 1628, 1999.
26. Atsushi Igarashi and Benjamin C. Pierce. Foundations for virtual types. Information and Computation, 175(1):34-49, 2002.
27. Atsushi Igarishi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In Proc. OOPSLA, November 1999.
28. Xavier Leroy. A syntactic theory of type generativity and sharing. In ACM Symposium on Principles of Programming Languages (POPL), Portland, Oregon, 1994.
29. David MacQueen. Modules for Standard ML. In Conference Record of the 1984 A CM Symposium on Lisp and Functional Programming, pages 198-207, New York, August 1984.
30. O. Lehrmann Madsen, B. Møller-Pedersen, and K. Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, June 1993. ISBN 0-201-62430-3.
31. Ole Lehrmann Madsen and Birger Møller-Pedersen. Virtual Classes: A powerful mechanism for object-oriented programming. In Proceedings OOPSLA '89, pages 397-106, October 1989.
32. Tobias Nipkow and David von Oheimb. Java-light is type-safe - definitely. In L. Cardelli, editor, Conference Record of the 25th Symposium on Principles of Programming Languages (POPL'98), pages 161-170, San Diego, California, 1998. ACM Press.
33. Martin Odersky. Report on the programming language Scala, 2002. École Polytechnique Fédérale de Lausanne, Switzerland. http://lamp.epfl.ch/∼odersky/scala.
34. Martin Odersky, Vincent Cremet, Christine Röckl, and Matthias Zenger. A nominal theory of objects with dependent types. Technical report IC/2002/70, EPFL, Switzerland, September 2002. http://lamp.epfl.ch/papers/technto.pdf.
35. Martin Odersky, Vincent Cremet, Christine Röckl, and Matthias Zenger. A nominal theory of objects with dependent types. In Proc. FOOL 10, January 2003. http://www.cis.upenn.edu/∼bcpierce/FOOL/FOOL10.html.
36. Klaus Ostermann. Dynamically composable collaborations with delegation layers. In Proceedings of the 16th European Conference on Object-Oriented Programming, Malaga, Spain, 2002.
37. Claudio Russo. First-class structures for Standard ML. In Proceedings of the 9th European Symposium on Programming, pages 336-350, Berlin, Germany, 2000.
38. Yannis Smaragdakis and Don Batory. Implementing layered designs with mixin layers. Lecture Notes in Computer Science, 1445, 1998.
39. Kresten Krab Thorup. Genericity in Java with virtual types. In Proceedings of the European Conference on Object-Oriented Programming, LNCS 1241, pages 444-471, June 1997.
40. Kresten Krab Thorup and Mads Torgersen. Unifying genericity: Combining the benefits of virtual types and parameterized classes. Lecture Notes in Computer Science, 1628, 1999.
41. Mads Torgersen. Virtual types are statically safe. In 5th Workshop on Foundations of Object-Oriented Languages, San Diego, CA, USA, January 1998.
42. Mads Torgersen. Inheritance is specialization. In The Inheritance Workshop, with ECOOP 2002, June 2002. http://www.cs.auc.dk/∼eernst/inhws/.
43. Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115, 1994.
44. Matthias Zenger. Type-safe prototype-based component evolution. In Proceedings of the European Conference on Object-Oriented Programming, Malaga, Spain, June 2002.