Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects Of Object-Oriented Programming: Types, Semantics and Language Design. MIT Press, 1993. 27 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Type Inference and Subtyping for Higher-Order Generative.. - Dami (4 citations) (Correct)
Adaptation in HOT Languages Comparing Polymorphism, Modules, and .. - MacQueen (2001) (2 citations) (Correct)
Adaptation in HOT Languages Comparing Polymorphism, Modules, and .. - MacQueen (2001) (2 citations) (Correct)
Semantic Lego - Espinosa (1995) (6 citations) (Correct)
Integration of Parametric and "ad Hoc" Second Order Polymorphism .. - Castagna (1995) (Correct)
A Predicative Type-Theoretic Interpretation of Objects - Hickey (Correct)
An Interpretation of Typed Concurrent Objects in the Blue Calculus - Dal-Zilio (1999) (Correct)
Functions, Frames, and Interactions - completing a.. - Reinke (1998) (Correct)
Inheritance of Proofs - Hofmann, Naraschewski, Steffen.. (1996) (1 citation) (Correct)
Types that Reflect Changes of Object Usability - Puntigam (1997) (2 citations) (Correct)
The Specification of Dynamic Distributed Component Systems - Kiniry (1998) (2 citations) (Correct)
Typing in object-oriented languages: Achieving expressiveness and.. - Bruce (1996) (24 citations) (Correct)
Subtyping Recursive Types in Kernel Fun - Colazzo, Ghelli (1999) (2 citations) (Correct)
Requirements for a Composition Language - Nierstrasz, Meijler (1995) (27 citations) (Correct)
Class-graph Inference for Adaptive Programs - Palsberg (Correct)
Confluent Equational Reasoning for Linking with First-Class .. - Wells, Vestergaard (1999) (15 citations) (Correct)
Scalable Extensibility via Nested Inheritance - Nystrom, Chong, Myers (2004) (Correct)
System F with Width-subtyping and Record Updating - Poll (1997) (Correct)
Reusable Monadic Semantics of Object Oriented Programming.. - Gayo, Lovelle, Diez, Rio (Correct)
Subtyping with Power Types - Aspinall (2000) (Correct)
Functional Programming with Dynamic Binding - Dami (1996) (3 citations) (Correct)
Polyglot: An Extensible Compiler Framework for Java - Nystrom, Clarkson, Myers (2003) (17 citations) (Correct)
Designing an Algorithm for Role Analysis - Kuncak (2001) (Correct)
Labelled Reductions, Runtime Errors, and Operational Subsumption - Dami (1997) (Correct)
Confluent Equational Reasoning for Linking with First-Class .. - Wells, Vestergaard (1999) (15 citations) (Correct)
Labelled Reductions, Runtime Errors, and Operational Subsumption - Dami (Correct)
Operational Subsumption, an Ideal Model of Subtyping - Dami (1998) (Correct)
Semantic Lego - Espinosa (1995) (6 citations) (Correct)
... : integrating parametric and "ad hoc" second order.. - Castagna (1993) (1 citation) (Correct)
Functional Programming With Dynamic Binding - Dami (1995) (3 citations) (Correct)
Decidable Bounded Quantification - Castagna, Pierce (1994) (16 citations) (Correct)
Type Inference for Objects - Palsberg (1996) (1 citation) (Correct)
Decidability of Higher-Order Subtyping with Intersection Types - Compagnoni (1994) (5 citations) (Correct)
Record Concatenation with Intersection Types - Zwanenburg (1995) (3 citations) (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