A syntactic theory of sequential state

Denotational semantics: The scott-strachey approach to programming language theory

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

Call-by-name, call-by-value and the λ-calculus

Gordon Plotkin · Theoretical Computer Science · 1975 · 1.2K citations

Computing, Computer Science, Programming Languages +5

LCF considered as a programming language

Gordon Plotkin · Theoretical Computer Science · 1977 · 1.1K citations

Computing, Computer Science, Programming Languages +4

The Mechanical Evaluation of Expressions

P. J. Landin · The Computer Journal · 1964 · 932 citations · Full text

Computing, Computer Science, Formal Methods +10

Definitional interpreters for higher-order programming languages

John Reynolds · 1972 · 668 citations

Computing, Computer Science, Programming Languages +11