On the Semantics of “Data Type”
From MaRDI portal
Publication:3851582
DOI10.1137/0208044zbMath0418.68010MaRDI QIDQ3851582
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
68Q55: Semantics in the theory of computing
68P05: Data structures
68N01: General topics in the theory of software
03B40: Combinatory logic and lambda calculus
Related Items
Meeting of the Association for Symbolic Logic, The semantics of second-order lambda calculus, An algebraic semantics approach to the effective resolution of type equations, Polymorphic type inference and containment, Constructing type systems over an operational semantics, On the semantics of polymorphism