A calculus for overloaded functions with subtyping
type: Item
instance of: scholarly article
title: A calculus for overloaded functions with subtyping
zbMATH Open document ID: 0819.03005
author: Giuseppe Castagna
author: G. Ghelli
author: Giuseppe Longo
published in: Information and Computation
publication date: 1995-08-27T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 758680
zbMATH Keywords: extension of typed \(\lambda\)-calculus
zbMATH Keywords: overloading
zbMATH Keywords: type-dependent calculus
zbMATH Keywords: strong normalization
zbMATH Keywords: object-orientedness
describes a project that uses: CLOS
MaRDI profile type: Publication
full work available at URL: inco.1995.1033
OpenAlex ID: W1994181029
Wikidata QID: Q56145254
DBLP publication ID: journals/iandc/CastagnaGL95
DOI: 10.1006/INCO.1995.1033
description: scientific article; zbMATH DE number 758680