To access subscriptions and
features please log in or register
Journal of Functional Programming Home
Save Journal to My CJO Account
Cited By Articles
Table of Contents
- Volume 6,
a1 Syracuse University
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.
† Research supported by NSF grant CCR-92110829.
Blog This Article
© Cambridge University Press