Fundamental Concepts in Programming Languages

@article{Strachey2000FundamentalCI,
  title={Fundamental Concepts in Programming Languages},
  author={C. Strachey},
  journal={Higher-Order and Symbolic Computation},
  year={2000},
  volume={13},
  pages={11-49}
}
  • C. Strachey
  • Published 2000
  • Computer Science
  • Higher-Order and Symbolic Computation
  • This paper forms the substance of a course of lectures given at the International Summer School in Computer Programming at Copenhagen in August, 1967. The lectures were originally given from notes and the paper was written after the course was finished. In spite of this, and only partly because of the shortage of time, the paper still retains many of the shortcomings of a lecture course. The chief of these are an uncertainty of aim—it is never quite clear what sort of audience there will be for… CONTINUE READING
    333 Citations

    Figures and Topics from this paper

    The Algol Research Programme
    Evolving a language in and for the real world: C++ 1991-2006
    • 60
    • PDF
    Design Patterns for Teaching Type Checking in a Compiler Construction Course
    • 24
    • PDF
    Principals in Programming Languages: Technical Results
    • PDF
    Free theorems in languages with real-world programming features
    • Highly Influenced
    A language for generic programming
    • 29
    • PDF
    The history of Standard ML
    • PDF

    References

    SHOWING 1-10 OF 33 REFERENCES
    Correspondence between ALGOL 60 and Church's Lambda-notation
    • 367
    • PDF
    On the formal definition of PL/I
    • K. Bandat
    • Computer Science
    • AFIPS '68 (Spring)
    • 1968
    • 26
    The Mechanical Evaluation of Expressions
    • 1,021
    • PDF
    The Main Features of CPL
    • 66
    • PDF
    Word and Object
    • 6,330
    Problems in the Theory of Computation
    • 15
    The analysis of political systems
    • 59
    Making and breaking governments
    • 852