A consistent extension of the lambda-calculus as a base for functional programming languages

Can programming be liberated from the von Neumann style?

John Backus · Communications of the ACM · 1978 · 2.6K citations · Full text

Computing, Computer Science, Compilers +6

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

A new implementation technique for applicative languages

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

Computing, Computer Science, Compilers +12

Data Types as Lattices

Dana Scott · SIAM Journal on Computing · 1976 · 573 citations

Computing, Computer Science, Number Theory +8