Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping
type: Item
instance of: scholarly article
title: Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping
zbMATH Open document ID: 0852.68011
DOI: 10.1007/BF01214916
author: Giuseppe Castagna
published in: Formal Aspects of Computing
publication date: 1996-12-11T00:00:00Z
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 907982
zbMATH Keywords: bounded polymorphism
zbMATH Keywords: object-oriented languages
describes a project that uses: CLOS
describes a project that uses: Cecil
MaRDI profile type: Publication
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: A paradigmatic object-oriented programming language: Design, static typing and semantics
cites work: Inheritance as implicit coercion
cites work: A semantics of multiple inheritance
cites work: A meta-language for typed object-oriented languages
cites work: Coherence of subsumption, minimum typing and type-checking in F ≤
cites work: A calculus for overloaded functions with subtyping
cites work: Q4281468
cites work: Q4855348
cites work: A semantic basis for Quest
cites work: An extension of system \(F\) with subtyping
cites work: Q3837264
cites work: Q4301602
cites work: Q5581665
cites work: Q3998221
cites work: On theories with a combinatorial definition of 'equivalence'
cites work: Simple type-theoretic foundations for object-oriented programming
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Fundamental concepts in programming languages
full work available at URL: https://doi.org/10.1007/bf01214916
OpenAlex ID: W2066972783
description: scientific article; zbMATH DE number 907982