Journal of Functional Programming

Articles

Note on Algol and conservatively extending functional programming

Peter W. O'Hearna1

a1 Syracuse University

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.

Footnotes

† Research supported by NSF grant CCR-92110829.