Christopher Strachey: Recollections of His Influence

Authors:
Mike Gordon
Affiliations:
University of Cambridge, Computer Laboratory, New Museums Site, Pembroke Street, Cambridge CB2 3QG, U.K. mjcg@cl.cam.ac.uk
Venue:
Higher-Order and Symbolic Computation
Year:
2000

Citing 4
Cited 2

The Denotational Description of Programming Languages: An Introduction

The Denotational Description of Programming Languages: An Introduction
On the Relation between Direct and Continuation Semantics

Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Operational reasoning and denotational semantics.

Operational reasoning and denotational semantics.
Towards a semantic theory of dynamic binding.

Towards a semantic theory of dynamic binding.

On Barron and Strachey's cartesian product function

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Frontiers of information technology

IBM Journal of Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

My early research was inspired by the mathematical semanticsof Scott and Strachey. Two such topics, recounted in this paper, werethe fixed-point analysis of pointer loops and the expressibility of astyle of functional programming introduced by Barron and Strachey.