Note on Algol and conservatively extending functional programming
Peter W. O’Hearn · Journal of Functional Programming · 1996
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.