On the semantics of polymorphism
type: Item
instance of: scholarly article
title: On the semantics of polymorphism
zbMATH Open document ID: 0504.03007
DOI: 10.1007/BF00289413
author: Mario Coppo
published in: Acta Informatica
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 3794042
zbMATH Keywords: types
zbMATH Keywords: Curry's functionality theory
zbMATH Keywords: consistent types
zbMATH Keywords: soundness theorem
zbMATH Keywords: correctness
zbMATH Keywords: complete
describes a project that uses: ML
MaRDI profile type: Publication
cites work: The lambda calculus, its syntax and semantics
cites work: A filter lambda model and the completeness of type assignment
cites work: Combinatory logic. With two sections by William Craig.
cites work: Modified basic functionality in combinatory logic
cites work: On the Semantics of “Data Type”
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: The Principal Type-Scheme of an Object in Combinatory Logic
cites work: The completeness theorem for typing lambda-terms
cites work: Q5686017
cites work: A theory of type polymorphism in programming
cites work: LCF considered as a programming language
cites work: \(\mathbb{T}^\omega\) as a universal domain
full work available at URL: https://doi.org/10.1007/bf00289413
OpenAlex ID: W2008297923
description: scientific article; zbMATH DE number 3794042