Needed reduction and spine strategies for the lambda calculus

The Mechanical Evaluation of Expressions

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

Computing, Computer Science, Formal Methods +10

A new implementation technique for applicative languages

David A. Turner · Software Practice and Experience · 1979 · 612 citations

Computing, Computer Science, Compilers +12

The next 700 programming languages

P. J. Landin · Communications of the ACM · 1966 · 581 citations · Full text

Computing, Computer Science, Compilers +10

HOPE

R. M. Burstall, David MacQueen, Donald Sannella · 1980 · 351 citations

Nursing, Behavioral Sciences, Psychology +8

Strictness analysis for higher-order functions

Geoffrey Burn, Chris Hankin, Samson Abramsky · Science of Computer Programming · 1986 · 171 citations

Natural Sciences, Computer Science, Mathematics +9