Lambda Calculus with Explicit Recursion

A Transformation System for Developing Recursive Programs

R. M. Burstall, John Darlington · Journal of the ACM · 1977 · 1.3K citations · Full text

Computing, Computer Science, Compilers +10

The implementation of functional programming languages

Microprocessors and Microsystems · 1987 · 1.1K citations

Computing, Computer Science, Compilers +10

Report on the programming language Haskell

Paul Hudak, Simon Peyton Jones, Philip Wadler et al. · ACM SIGPLAN Notices · 1992 · 1K citations · Full text

Computing, Computer Science, Combinatorics +6

Term rewriting systems

Jan Willem Klop · Data Archiving and Networked Services (DANS) · 1990 · 783 citations

Computing, Computer Science, Formal Methods +14

Mathematical Centre Tracts

Robin Milner · 1976 · 743 citations