Typed representation of objects by functions

DOI10.1145/59287.77345zbMath0669.68014OpenAlexW2045531281MaRDI QIDQ3823126

Jorgen Steensgaard-Madsen

Publication date: 1989

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1989-11/

zbMATH Keywords

data structureslambda calculusfunctional typefunctional objectslanguages (theory)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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 (3)

Unnamed Item ⋮ Programming in the λ-Calculus: From Church to Scott and Back ⋮ Efficient self-interpretation in lambda calculus

This page was built for publication: Typed representation of objects by functions