Integrating nominal and structural subtyping

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

Volumn 5142 LNCS, Issue , 2008, Pages 260-284

  Malayeri, Donna ^a   Aldrich, Jonathan ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FORMAL LANGUAGES;

CORE CALCULUS; DESIGN INTENT; RUN TIME TYPE TESTS; RUNTIMES; SUBTYPINGS; TYPE SAFETY; UNIFIED FRAMEWORK;

OBJECT ORIENTED PROGRAMMING;

EID: 49049083875     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70592-5_12     Document Type: Conference Paper

References (25)

1. Bono, V., Damiani, F., Giachino, E.: Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse. In: Electronic proceedings of FTfJP (2007), http://www.cs.ru.nl/ftfjp/
2. Bracha, G., Cook, W.: Mixin-based inheritance. In: ECOOP 1990(1990)
3. Bracha, G., Griswold, D.: Strongtalk: typechecking Smalltalk in a production environment. In: OOPSLA 1993, pp. 215-230 (1993)
4. Bruce, K.B., Schuett, A., Gent, R.V., Fiech, A.: PolyTOIL: A type-safe polymorphic object-oriented language. ACM Trans. Program. Lang. Syst. 25(2), 225-290 (2003)
5. Castagna, G., Ghelli, G., Longo, G.: A calculus for overloaded functions with subtyping. Inf. Comput. 117(1), 115-135 (1995)
6. Chambers, C.: Object-oriented multi-methods in Cecil. In: Lehrmann Madsen, O. (ed.) ECOOP 1992. LNCS, vol. 615. Springer, Heidelberg (1992)
7. Chambers, C.: Cecil Group. The Cecil language: specification and rationale, version 3.2 (February 2004), http://www.cs.washington.edu/research/ projects/cecil/
8. Clifton, C., Millstein, T., Leavens, G.T., Chambers, C.: MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst. 28(3), 517-575 (2006)
9. Davies, R., Pfenning, F.: Intersection types and computational effects. In: ICFP 2000, pp. 198-208 (2000)
10. Fisher, K., Reppy, J.: The design of a class mechanism for Moby. In: PLDI 1999, pp. 37-49 (1999)
11. Fisher, K., Reppy, J.: Inheritance-based subtyping. Inf. Comput. 177(1), 28-55 (2002)
12. Gil, J., Maman, I.: Whiteoak (2008), http://ssdl-wiki.cs.technion.ac.il/ wiki/index.php/Whiteoak
13. Gregor, D., Järvi, J., Siek, J., Stroustrup, B., Reis, G.D., Lumsdaine, A.: Concepts: Linguistic support for generic programming in C++. In: Proceedings of OOPSLA 2006, October 2006, pp. 291-310. ACM Press, New York (2006)
14. Leroy, X., Doligez, D., Garrigue, J., Rémy, D., Vouillon, J.: The Objective Caml system, release 3.09 (2004), http://caml.inria.fr/pub/docs/ manual-ocaml/index.html
15. Madsen, O.L., Moller-Pedersen, B.: Virtual classes: a powerful mechanism in objectoriented programming. In: OOPSLA 1989, pp. 397-406 (1989)
16. Malayeri, D., Aldrich, J.: Combining structural subtyping and external dispatch. In: FOOL/WOOD 2007 (January 2007), http://foolwood07.cs.uchicago.edu/ program.html
17. Malayeri, D., Aldrich, J.: Integrating Nominal and Structural Subtyping. Technical Report CMU-CS-08-120, School of Computer Science, Carnegie Mellon University (May 2008)
18. Sun Microsystems. Java collections API design FAQ (2003), http://java.sun.com/j2se/1.4.2/docs/guide/collections/designfaq.html
19. Millstein, T.D., Chambers, C.: Modular statically typed multimethods. Inf. Comput. 175(1), 76-118 (2002)
20. Nelson, G. (ed.): Systems programming with Modula-3. Prentice-Hall, Inc., Upper Saddle River (1991)
21. Nystrom, N., Chong, S., Myers, A.C.: Scalable extensibility via nested inheritance. In: OOPSLA 2004, pp. 99-115 (2004)
22. Odersky, M.: The Scala language specification (2007), http://www.scala-lang.org/docu/files/ScalaReference.pdf
23. Ostermann, K.: Nominal and Structural Subtyping in Component-Based Programming. Journal of Object Technology 7(1) (2008)
24. Reppy, J., Turon, A.:Metaprogramming with traits. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609. Springer, Heidelberg (2007)
25. Schärli, N., Ducasse, S., Nierstrasz, O., Black, A.: Traits: Composable units of behavior. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743. Springer, Heidelberg (2003)