Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping

DOI10.1007/BF01214916zbMath0852.68011OpenAlexW2066972783MaRDI QIDQ1918933

Giuseppe Castagna

Publication date: 11 December 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01214916

zbMATH Keywords

object-oriented languagesbounded polymorphism

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (2)

Basic theory of \(F\)-bounded quantification. ⋮ Dependent types with subtyping and late-bound overloading

Uses Software

• CLOS
• Cecil

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• A semantics of multiple inheritance
• Inheritance as implicit coercion
• An extension of system \(F\) with subtyping
• A meta-language for typed object-oriented languages
• Fundamental concepts in programming languages
• A calculus for overloaded functions with subtyping
• On theories with a combinatorial definition of 'equivalence'
• Coherence of subsumption, minimum typing and type-checking in F ≤
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• Simple type-theoretic foundations for object-oriented programming
• A semantic basis for Quest
• Tree-Manipulating Systems and Church-Rosser Theorems

This page was built for publication: Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping