On the Semantics of “Data Type”

DOI10.1137/0208044zbMath0418.68010OpenAlexW2107132003MaRDI QIDQ3851582

James E. Donahue

Publication date: 1979

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0208044

zbMATH Keywords

polymorphismsemanticslambda calculusdata types

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Related Items (8)

An algebraic semantics approach to the effective resolution of type equations ⋮ Polymorphic type inference and containment ⋮ Constructing type systems over an operational semantics ⋮ Observable interface behaviour and inheritance ⋮ An approximation to the convolution of gamma distributions ⋮ The semantics of second-order lambda calculus ⋮ Meeting of the Association for Symbolic Logic ⋮ On the semantics of polymorphism

This page was built for publication: On the Semantics of “Data Type”