Martin Odersky and Christoph Zenger. Nested types. In Foundations of Object-oriented Programming (FOOL8), London, January 2001. Available from http://www.cs.williams.edu/#kim/FOOL/FOOL8.html. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First-Class Modules for Haskell - Shields, Jones (2001) (1 citation) (Correct)
....a fresh type variable t standing for any type within the scope of a term. Thus g s rst argument may be assigned any type of the form Monad for some type . 2.3 Nested Type Declarations Modules typically contain a mix of term level and type level declarations. Following Odersky and Zenger [13], we allow record declarations to contain nested type declarations: record BTSet a = data BinTree = Leaf Node BinTree a BinTree empty : BinTree add : a BinTree BinTree A nested type may be projected from a type in much the same way as a eld may be projected from a term. For ....
....type declarations within toplevel implementations, but this is merely a syntactical convenience. As a consequence, our system avoids entirely the need for any dependent types, and manifestly respects the phase distinction [3] between type checking and evaluation. The work of Odersky and Zenger [13] takes a similar approach. Secondly, we never allow record types to contain abstract types, i.e. types which are named but whose definition is hidden. Again, we will later allow abstract type declarations within top level interfaces, but again this is a syntactical convenience. Together, these ....
[Article contains additional citation context not shown here]
M. Odersky and C. Zenger. Nested types. In Proceeding of the Workshop on Foundations of Object-Oriented Languages (FOOL8), London, UK, Jan. 2001.
Polymorphic Subtyping in O'Haskell - Nordlander (2001) (Correct)
....to hold relative to a suitably adapted version of Pizza s type system as well, but proving this remains as future work. Recent work by Odersky and Zenger introduces the term nominal to denote type systems where equality and subtyping is based on declaration rather than on structural properties [OZ01] The authors argue that such systems are more suitable than the usual theoretical approaches for modelling common objectoriented languages, a position we have taken in our work as well. Odersky and Zenger s type system has more far reaching goals than ours, though, in that it seeks to model ....
Martin Odersky and Christoph Zenger. Nested types. In Eighth Internatinal Workshop on Foundations of Object-Oriented Languages (FOOL8), January 2001.
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) (Correct)
No context found.
Martin Odersky and Christoph Zenger. Nested types. In Foundations of Object-oriented Programming (FOOL8), London, January 2001. Available from http://www.cs.williams.edu/#kim/FOOL/FOOL8.html.
Scalable Extensibility via Nested Inheritance - Nystrom, Chong, Myers (2004) (Correct)
No context found.
Martin Odersky and Christoph Zenger. Nested types. In 8th Workshop on Foundations of Object-Oriented Languages (FOOL), 2001.
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