Comparison of priority rules in pattern matching and term rewriting

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

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

Computing, Computer Science, Programming Languages +5

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

HOPE

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

Nursing, Behavioral Sciences, Psychology +8

Centaur: the system

Patrick Borras, Dominique Clement, Th. Despeyroux et al. · 1988 · 339 citations · Full text

Computing, Computer Science, Computer Systems +14

A proposal for standard ML

Robin Milner · 1984 · 255 citations · Full text

Education, Information Systems, Decision Support Systems +4