Polymorphic programming I. Another language designed on semantic principles

DOI10.1002/SPE.4380141007MaRDI QIDQ5186706zbMATH OpenOpenAlexFDO

Authors 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

data typeslanguage design principlespolymorphism

Mathematics Subject Classification ID

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

Recommendations

• Algorithm of construction of a type and its realization in the language W
• Basic polymorphic typechecking
• scientific article; zbMATH DE number 3907754
• Data types are values
• scientific article; zbMATH DE number 4090764

Cites work

• A contribution to the development of ALGOL
• BLISS
• Correspondence between ALGOL 60 and Church's Lambda-notation
• GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
• scientific article; zbMATH DE number 3617501 (Why is no real title available?)
• scientific article; zbMATH DE number 3640837 (Why is no real title available?)
• The denotational semantics of programming languages

Cited in

(6)

• POLAR-88 -- a modern general purpose programming system
• The design of Apple—A language for modular programs
• Algorithm of construction of a type and its realization in the language W
• Data types are values
• G: A functional language with generic abstract data types
• Introducing a new form of parametric polymorphism in object oriented programming languages

Describes a project that uses

Uses Software

• BCPL

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

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