Atsushi Igarashi and Benjamin C. Pierce. On inner classes. Information and Computation, 177(1):56--89, August 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
....are just beginning to be investigated. As is the case for modules, dependent types are a promising candidate for a foundation of objects with type members. Dependent products can be used to represent functors in SML module systems as well as classes in object systems with virtual types [26]. But where the details in ML module systems build on a long tradition, the corresponding foundations of object systems with abstract and virtual types have so far been less well developed. One possible approach would be to extend the formalizations of ML module systems to object systems, but ....
....of virtual types using a type system that adds dependent types to an F : core. However, no formal study of the type system s properties was attempted, and in fact their initial formalization lacked the subject reduction property (that formalization was dropped in the journal version of their paper [26]) The rest of this paper is structured as follows. Section 2 presents context free syntax, operational semantics, and type assignment rules of our object calculus, #Obj. Section 3 illustrates in a series of examples how the calculus expresses common object oriented idioms. Section 4 presents the ....
A. Igarashi and B. C. Pierce. Foundations for virtual types. Information and Computation, 175(1):34--49, 2002.
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
....are just beginning to be investigated. As is the case for modules, dependent types are a promising candidate for a foundation of objects with type members. Dependent products can be used to represent functors in SML module systems as well as classes in object systems with virtual types [IP02] But where the details in ML module systems build on a long tradition, the corresponding foundations of object systems with abstract and virtual types have so far been less well developed. One possible approach would be to extend the formalizations of ML module systems to object systems, but ....
....virtual types using a type system that adds dependent types to an F : core. However, no formal study of the type system s properties was attempted, and in fact their initial formalization lacked the subject reduction property (that formalization was dropped in the journal version of their paper [IP02] The rest of this paper is structured as follows. Section 2 presents context free syntax, operational semantics, and type assignment rules of our object calculus, #Obj. Section 3 illustrates in a series of examples how the calculus expresses common object oriented idioms. Section 4 presents ....
Atsushi Igarashi and Benjamin C. Pierce. Foundations for virtual types. Information and Computation, 175(1):34--49, 2002.
On Variance-Based Subtyping for Parametric Types - Igarashi, Viroli (2002) (4 citations) Self-citation (Igarashi) (Correct)
No context found.
Atsushi Igarashi and Benjamin C. Pierce. Foundations for virtual types. Information and Computation, 2002. An earlier version in Proc. of the 13th ECOOP, Springer LNCS 1628, pages 161--185, 1999.
Scalable Extensibility via Nested Inheritance - Nystrom, Chong, Myers (2004) (Correct)
No context found.
Atsushi Igarashi and Benjamin C. Pierce. On inner classes. Information and Computation, 177(1):56--89, August 2002.
A Typed Calculus of Aspect-oriented Programs - Radha Jagadeesan Alan (2003) (1 citation) (Correct)
No context found.
Atsushi Igarashi and Benjamin C. Pierce. On inner classes. Information and Computation, 177(1):56--89, 2002.
A Typed Calculus of Aspect-oriented Programs - Radha Jagadeesan Alan (2003) (1 citation) (Correct)
No context found.
Atsushi Igarashi and Benjamin C. Pierce. On inner classes. Information and Computation, 177(1):56--89, 2002.
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
No context found.
A. Igarashi and B. C. Pierce. Foundations for virtual types. Information and Computation, 175(1):34-49, 2002.
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