Article contents
Note on Algol and conservatively extending functional programming
Published online by Cambridge University Press: 07 November 2008
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.
- Type
- Articles
- Information
- Copyright
- Copyright © Cambridge University Press 1996
References
- 2
- Cited by
Discussions
No Discussions have been published for this article.