Note on Algol and Conservatively Extending Functional Programming

Download PDF
Open Webpage

Peter W. O'Hearn

Published: 1996, Last Modified: 16 May 2025J. Funct. Program. 1996EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: A simple Idealized Algol is considered, based on Reynolds's ‘essence of Algol’. It is shown that observational equivalence in this language conservatively extends observational equivalence in its assignment-free functional sublanguage.