Note on Algol and conservatively extending functional programming

DOI10.1017/S0956796800001611MaRDI QIDQ4880529zbMATH OpenOpenAlexFDO

Authors Peter W. O'Hearn

Publication date 21 August 1996

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796800001611

zbMATH Keywords

assignment-free functional sublanguageobservational equivalence

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 3846829
• A consistent extension of the lambda-calculus as a base for functional programming languages
• An extension of lambda-calculus for functional programming
• Towards an Implementation of a Computer Algebra System in a Functional Language
• Program algebras of recursive functions
• scientific article; zbMATH DE number 4094791
• From Algol to polymorphic linear lambda-calculus
• scientific article; zbMATH DE number 4088901
• Functional programming concepts and straight-line programs in computer algebra
• On Revival of Algol-Concepts in Modern Programming and Specification Languages

Cites work

• Elementary data structures in ALGOL-like languages
• Fully abstract models of typed \(\lambda\)-calculi
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• LCF considered as a programming language
• Semantical analysis of specification logic

Cited in

(2)

• On the semantics of the bad-variable constructor in Algol-like languages
• From Algol to polymorphic linear lambda-calculus

This page was built for publication: Note on Algol and conservatively extending functional programming

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