User-Defined Types in a Polymorphic Language

DOI10.1093/COMJNL/27.1.47zbMATH Open0526.68015OpenAlexW2142486998MaRDI QIDQ3040490FDOQ3040490

Authors: David M. Harland 

Publication date: 1984

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/27.1.47

zbMATH Keywords

modularitydata typesblock structured scopetype equivalence

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (1)

• \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus

This page was built for publication: User-Defined Types in a Polymorphic Language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3040490)