Abstract
We outline some of the impact of Christopher Strachey, particularly by referring to work on program equivalence and implementation correctness for programming languages.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Milne, R. From Language Concepts to Implementation Concepts. Higher-Order and Symbolic Computation 13, 77–81 (2000). https://doi.org/10.1023/A:1010010009897
Issue Date:
DOI: https://doi.org/10.1023/A:1010010009897