Polymorphic programming I. Another language designed on semantic principles

DOI10.1002/SPE.4380141007zbMath0561.68004OpenAlexW2155926046MaRDI QIDQ5186706

David M. Harland, Hamish I. E. Gunn

Publication date: 1984

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380141007

zbMATH Keywords

polymorphismdata typeslanguage design principles

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Uses Software

• BCPL

Cites Work

• Unnamed Item
• Unnamed Item
• The denotational semantics of programming languages
• Correspondence between ALGOL 60 and Church's Lambda-notation
• A contribution to the development of ALGOL
• GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
• BLISS

This page was built for publication: Polymorphic programming I. Another language designed on semantic principles