scientific article; zbMATH DE number 4180771
From MaRDI portal
Publication:3204024
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
Cited in
(20)- Typed homomorphic relations extended with subtypes
- A modest model of records, inheritance, and bounded quantification
- Modeling inheritance as coercion in a symbolic computation system
- The inheritance of PN-COOPN
- scientific article; zbMATH DE number 3864476 (Why is no real title available?)
- scientific article; zbMATH DE number 814801 (Why is no real title available?)
- 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
- 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)
