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

DOI10.1007/BF01214916MaRDI QIDQ1918933zbMATH OpenOpenAlexFDO

Authors 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

bounded polymorphismobject-oriented languages

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Polymorphic lambda calculus and subtyping.
• An extension of system \(F\) with subtyping
• An extension of system \(F\) with subtyping
• scientific article; zbMATH DE number 2079017

Cites work

• A calculus for overloaded functions with subtyping
• A meta-language for typed object-oriented languages
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• A semantic basis for Quest
• A semantics of multiple inheritance
• An extension of system \(F\) with subtyping
• Coherence of subsumption, minimum typing and type-checking in F ≤
• Fundamental concepts in programming languages
• scientific article; zbMATH DE number 954811 (Why is no real title available?)
• scientific article; zbMATH DE number 49427 (Why is no real title available?)
• scientific article; zbMATH DE number 512775 (Why is no real title available?)
• scientific article; zbMATH DE number 615137 (Why is no real title available?)
• scientific article; zbMATH DE number 814801 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Inheritance as implicit coercion
• On theories with a combinatorial definition of 'equivalence'
• Simple type-theoretic foundations for object-oriented programming
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Tree-Manipulating Systems and Church-Rosser Theorems

Cited in

(7)

• Basic theory of F-bounded quantification.
• Dependent types with subtyping and late-bound overloading
• A calculus for overloaded functions with subtyping
• scientific article; zbMATH DE number 2089395 (Why is no real title available?)
• An extension of system \(F\) with subtyping
• Purely functional programming and the object-oriented inheritance and ploymorphism
• F-bounded quantification and the matching relation

Describes a project that uses

Uses Software

• CLOS
• Cecil

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1918933)