Note on Algol and conservatively extending functional programming

Open Access

1 January 1996

journal article
Published by Cambridge University Press (CUP) in Journal of Functional Programming

Vol. 6 (1) , 171-180
https://doi.org/10.1017/s0956796800001611

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.

Keywords

This publication has 8 references indexed in Scilit:

Global state considered unnecessary: An introduction to object-based semantics
Higher-Order and Symbolic Computation, 1996
State in Haskell
Higher-Order and Symbolic Computation, 1995
Delimiting the scope of effects
Published by Association for Computing Machinery (ACM) ,1993
Comprehending monads
Published by Association for Computing Machinery (ACM) ,1990
Semantical analysis of specification logic
Information and Computation, 1990
Elementary data structures in ALGOL-like languages
Science of Computer Programming, 1989
LCF considered as a programming language
Theoretical Computer Science, 1977
Fully abstract models of typed λ-calculi
Theoretical Computer Science, 1977