A theory of primitive objects. Second-order systems

Science of Computer Programming

Volumn 25, Issue 2-3, 1995, Pages 81-116

  Abadi, Martín ^a   Cardelli, Luca ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; PROGRAMMING THEORY; RECURSIVE FUNCTIONS;

METHOD OVERRIDE; OBJECT SUBSUMPTION; POLYMORPHIC CALCULUS; PRIMITIVE OBJECTS; SECOND ORDER CALCULUS; SUBTYPING;

OBJECT ORIENTED PROGRAMMING;

EID: 0029491413     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-6423(95)00010-0     Document Type: Article

References (24)

1. A semantics of object types
2. A theory of primitive objects: untyped and first-order systems
3. An imperative object calculus
4. On subtyping and matching
5. Automatic synthesis of typed λ-programs on term algebras
6. A paradigmatic object-oriented programming language design static typing and semantics
7. The Hopkins Objects Group
8. Extensible records in a pure calculus of subtyping
9. An extension of system F with subtyping
10. On understanding types, data abstraction and polymorphism
11. ≤
12. Simula an Algol-based simulation language
13. Notes on typed object-oriented programming
14. Interprétation fonctionelle et élimination des coupures dans l'arithmétique d'ordre supérieur
15. A lambda calculus of objects and method specialization
16. Abstract types have existential type
17. Efficient inference for object types
18. Subtyping and parametricity
19. Towards a theory of type structure
20. Engineering a programming language: the type and class system of Sather
21. Some unusual λ-calculus numeral systems