Skip to main content
SpringerLink
Log in

Some Reflections on Strachey and His Work

  • Published:
Higher-Order and Symbolic Computation

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Amadio, R.M. and Curien, P.-L. Domains and Lambda-Calculi. Cambridge University Press, 1998.

  2. Campbell-Kelly, M. Christopher Strachey, 1916-1975, A Biographical Note. Annals of the History of Computing 7(1) (1985) 19-42.

    Google Scholar 

  3. Landin, P.J. The mechanical evaluation of expressions. Computer Journal 6 (1964) 308-320.

    Google Scholar 

  4. Lucas, P. and Walk, K. On the formal description of PL/I. Annual Review in Automatic Programming 6 (1969) 105-152.

    Google Scholar 

  5. Milne, R.E. and Strachey, C. A Theory of Programming Language Semantics. Chapman and Hall, London, and John Wiley, New York, 1976.

    Google Scholar 

  6. Reynolds, J.C. The discoveries of continuations. Lisp and Symbolic Computation 6(3/4) (1993) 233-247.

    Google Scholar 

  7. Richards, M. BCPL: A tool for compiler writing and system programming. In Proceedings AFIPS Spring Joint Computer Conference, Boston, Mass., American Federation of Information Processing Societies, May 1969, pp. 557-566.

    Google Scholar 

  8. Scott, D. Logic and programming languages. Communications of the ACM 20 (1977) 634-641.

    Google Scholar 

  9. Scott, D. A type-theoretical alternative to ISWIM, CUCH, OWHY. Theoretical Computer Science 121 (1993) 411-440.

    Google Scholar 

  10. Scott, D.S. and Strachey, C. Towards a mathematical semantics for computer languages. In Proceedings of the Symposium on Computers and Automata, Polytechnic Institute of Brooklyn, 1971.

  11. Stoltenberg-Hansen, V., Lindström, I., and Griffor, E.R. Mathematical Theory of Domains. Cambridge University Press, 1994.

  12. Stoy, J.E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. The MIT Press, 1977.

  13. Strachey, C. Systems analysis and programming. Scientific American 25(3) (1966) 112-124.

    Google Scholar 

  14. Strachey, C. Towards a formal semantics. In Formal Language Description Languages for Computer Programming, T.B. Steel, Jr. (Ed.). North-Holland, 1966, pp. 198-220.

  15. Strachey, C. Fundamental concepts in programming languages. In Proceedings of the 1967 International Summer School in Computer Programming, Copenhagen, Denmark, 1967. Unpublished lecture notes.

  16. Wilkes, M.V. Memoirs of a Computer Pioneer. The MIT Press, 1985.

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA, 15213, USA

    Dana Scott

Authors
  1. Dana Scott
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Scott, D. Some Reflections on Strachey and His Work. Higher-Order and Symbolic Computation 13, 103–114 (2000). https://doi.org/10.1023/A:1010018211714

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1010018211714

Keywords

Search

Navigation