MOOdules reading group:
Modules and OO

Spring 2005

MOOdules is a continuation of the Fall 2004 CS299r independent study course on types and modules. This term we are looking at OO languages as well as module languages. Participation in the Fall 2004 CS299r is not required to participate in MOOdules. During Spring 2005 we will meet Fridays from 2:30pm to 4:00pm in Maxwell Dworkin 319.

Reading schedule

Notes

Traits might be interesting to look at.

Expression problem references: Independently Extensible Solutions to the Expression Problem[Odersky and Zenger(2005)]; Types for Objects and Modules (talk at Dagstuhl)[Odersky(2003)]; Some Challenging Typing Issues in Object-Oriented Languages[Bruce(2003)].

During discussion on 2/18/05 there was some mention of ``wildcards'' in Java. Here is a paper that discusses wildcards: Adding Wildcards to the Java Programming Language[Torgersen etal.(2004)Torgersen, Hansen, Ernst, vonder Ahe, Bracha, and Gafter].

References

[Abadi and Cardelli(1996)]
Martin Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag New York, Inc., 1996. ISBN 0387947752.

[Ancona and Zucca(2001)]
Davide Ancona and Elena Zucca. True modules for Java-like languages. volume 2072 of Lecture Notes in Computer Science, pages 354--380. Springer, 2001. URL .

[Bruce(2003)]
Kim Bruce. Some challenging typing issues in object-oriented languages. In Electronic Notes in Computer Science 82, no. 8, 2003. URL .

[Cardelli(1996)]
Luca Cardelli. Bad engineering properties of object-orient languages. ACM Computing Surveys, 280 (4es), 1996. URL .

[Fisher and Reppy(1999)]
Kathleen Fisher and John H. Reppy. The design of a class mechanism for moby. In SIGPLAN Conference on Programming Language Design and Implementation, volume 34, pages 37--49. ACM Press, 1999. URL .

[Garcia etal.(2003)Garcia, Järvi, Lumsdaine, Siek, and Willcock]
Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, and Jeremiah Willcock. A comparative study of language support for generic programming. In Proceedings of the 2003 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA'03), October 2003. URL .

[Odersky(2003)]
Martin Odersky. Types for objects and modules. In Dagstuhl proceedings: Domain-specific program generation, March 2003. URL .

[Odersky etal.(2003)Odersky, Cremet, Röckl, and Zenger]
Martin Odersky, Vincent Cremet, Christine Röckl, and Matthias Zenger. A nominal theory of objects with dependent types. In Proc. FOOL 10, January 2003. URL .

[Odersky and Zenger(2005)]
Martin Odersky and Matthias Zenger. Independently extensible solutions to the expression problem. In Proc. FOOL 12, January 2005. URL .

[Torgersen(2004)]
Mads Torgersen. The expression problem revisited - four new solutions using generics. In Martin Odersky, editor, Proceedings of ECOOP, volume 3086, pages 123--146. AITO, Springer, June 2004. URL .

[Torgersen etal.(2004)Torgersen, Hansen, Ernst, vonder Ahe, Bracha, and Gafter]
Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahe, Gilad Bracha, and Neal Gafter. Adding wildcards to the java programming language. 2004. URL .
This document was translated from LATEX by HEVEA.