scientific article; zbMATH DE number 4180771
From MaRDI portal
Publication:3204024
zbMATH Open0716.68012MaRDI QIDQ3204024FDOQ3204024
Authors: Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 814794
- Modeling inheritance as coercion in a symbolic computation system
- Inheritance systems with exceptions
- Inheritance hierarchies: Semantics and unifications
- Coercions in a polymorphic type system
- Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
- scientific article; zbMATH DE number 1785004
object-oriented programminginheritanceparametric polymorphismpolymorphic lambda calculustype-checkingFuntype disciplines
General topics in the theory of software (68N01) Theory of programming languages (68N15) Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)
Cited In (20)
- A modest model of records, inheritance, and bounded quantification
- The inheritance of PN-COOPN
- Modeling inheritance as coercion in a symbolic computation system
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coercion completion and conservativity in coercive subtyping
- A semantics of multiple inheritance
- Operations on records
- Transitivity in coercive subtyping
- Inheritance as implicit coercion
- The semantics of second-order lambda calculus
- Inheritance systems with exceptions
- Recursive types for Fun
- On confluence for weakly normalizing systems
- Toward a semantics for the QUEST language
- Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\)
- Type inference with partial types
- An exper model for Quest
- Typed homomorphic relations extended with subtypes
- Linear logic, coherence and dinaturality
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204024)
