A syntactic theory of sequential control

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

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

Computing, Computer Science, Programming Languages +5

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

Revised ³ report on the algorithmic language scheme

J. Rees, William Clinger · ACM SIGPLAN Notices · 1986 · 511 citations · Full text

Computing, Computer Science, Language Documentation +4

GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept

John Reynolds · Communications of the ACM · 1970 · 169 citations · Full text

Computing, Computer Science, Algorithms +11