Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger  Home/Search
Context Related
| lampwww.epfl.ch/publicati...technto.pdf upenn.edu/~bcpierce/FOOL/p...oderski.ps lamp.epfl.ch/~zenger/paper...fool03.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lampwww.epfl.ch/publications/p... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We design and study #Obj, a calculus and dependent type system for objects and classes which can have types as members. Type members can be aliases, abstract types, or new types. The type system can model the essential concepts of Java's inner classes as well as virtual types and family polymorphism found in BETA or gbeta. It can also model most concepts of SML-style module systems, including sharing constraints and higher-order functors, but excluding applicative functors. The type system can... (Update)
Cited by: More
Chai: Traits for Java-like Languages - Smith, Drossopoulou (2005) (Correct)
Scalable Extensibility via Nested Inheritance - Nystrom, Chong, Myers (2004) (Correct)
Some Challenging Typing Issues in Object-Oriented Languages.. - Bruce (2003) (Correct)
Similar documents (at the sentence level):
65.2%: A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (Correct)
Active bibliography (related documents): More All
0.4: On Variance-Based Subtyping for Parametric Types - Igarashi, Viroli (2002) (Correct)
0.4: Evolving Software with Extensible Modules - Zenger (2002) (Correct)
0.3: Type-Safe Prototype-Based Component Evolution - Zenger (2002) (Correct)
Similar documents based on text: More All
0.5: Nested Types - Odersky, Zenger (2001) (Correct)
0.3: Translucent Sums: A Foundation for Higher-Order Module Systems - Lillibridge (1996) (Correct)
Related documents from co-citation: More All
8: Classes and mixins - Flatt, Krishnamurthi et al. - 1998
7: Family polymorphism (context) - Ernst - 2001
6: A core calculus of classes and mixins - Bono, Patel et al. - 1999
BibTeX entry: (Update)
M. Odersky, V. Cremet, C. Rockl, and M. 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. http://citeseer.ist.psu.edu/article/odersky02nominal.html More
@misc{ odersky02nominal,
author = "M. Odersky and V. Cremet and C. Rockl and M. Zenger",
title = "A nominal theory of objects with dependent types",
text = "M. Odersky, V. Cremet, C. Rockl, and M. 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.",
year = "2002",
url = "citeseer.ist.psu.edu/article/odersky02nominal.html" }
Citations (may not include all citations):380 The Java Language Specification (context) - Gosling, Joy et al. - 2000
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
215 A typetheoretic approach to higher-order modules with sharin.. - Harper, Lillibridge - 1994
166 Classes and mixins - Flatt, Krishnamurthi et al. - 1998
137 A filter lambda model and the completeness of type assignmen.. (context) - Barendregt, Coppo et al. - 1983
117 Featherweight java: A minimal core calculus for java and gj - Igarishi, Pierce et al. - 1999
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
82 Object-Oriented Programming in the BETA Programming Language (context) - Madsen, Mller-Pedersen et al. - 1993
76 Modularity meets inheritance - Bracha, Lindstrom - 1992
67 Mixin modules - Duggan, Sourelis - 1996
56 Java is type safe - probably - Drossopoulou, Eisenbach - 1997
53 Simula: Common base language (context) - Dahl, Myhrhaug et al. - 1970
51 A calculus of module systems - Ancona, Zucca - 2002
50 Information and Computation (context) - Cardelli, Martini et al. - 1994
48 A primitive calculus for module systems - Ancona, Zucca - 1999
48 What is a recursive module - Crary, Harper et al. - 1999
45 for object-oriented languages (context) - Bruce, Fiech et al. - 1997
43 A syntactic theory of type generativity and sharing - Leroy - 1994
40 Mathematical Structures in Computer Science (context) - Cardelli, Mitchell et al. - 1991
38 A core calculus of classes and mixins - Bono, Patel et al. - 1999
36 Genericity in java with virtual types - Thorup - 1997
35 Modules for Standard ML - MacQueen - 1984
31 Family polymorphism (context) - Ernst - 2001
30 Java-light is type-safe --- definitely - Nipkow, von Oheimb - 1998
25 Modula3 language definition (context) - Cardelli, Donahue et al. - 1992
23 The recursive record semantics of objects revisited - Boudol - 2001
20 Dynamically composable collaborations with delegation layers - Ostermann - 2002
19 Virtual types are statically safe (context) - Torgersen - 1998
19 Virtual Classes: A powerful mechanism for objectoriented pro.. (context) - Madsen, Mller-Pedersen - 1989
19 Implementing layered designs with mixin layers - Smaragdakis, Batory - 1998
14 Modularity and Multiple Inheritance (context) - Bracha, Language et al. - 1992
14 Also in Carl (context) - Pierce, is et al. - 1994
13 On inner classes - Igarashi - 2000
13 gBeta: A language with virtual attributes (context) - Ernst - 1999
12 First-class structures for Standard ML - Russo - 2000
12 Foundations of Object-Oriented Programming Languages: Types .. (context) - Bruce - 2002
12 Extending Smalltalk with mixins (context) - Bracha, Griswold - 1996
10 Unifying genericity: Combining the benefits of virtual types.. - Thorup, Torgersen - 1999
7 Information and Computation (context) - Igarashi, Pierce et al. - 2002
4 Lecture Notes in Computer Science (context) - Igarashi, Pierce et al. - 1999
3 Inheritance is specialization (context) - Torgersen - 2002
3 A statical safe alternative to virtual types (context) - Bruce, Odersky et al. - 1998
2 Ecole Polytechnique Federale de Lausanne (context) - Odersky, the et al. - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://lampwww.epfl.ch/publications/papers/): More
A Functional View of Join - Odersky, Zenger, Zenger, Chen (1999) (Correct)
Functional Nets - Odersky (2000) (Correct)
Fast Functional Lists, Hash-Lists, Deques and Variable Length.. - Bagwell (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC