A uniform treatment of order of evaluation and aggregate update

Denotational semantics: The scott-strachey approach to programming language theory

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

LCF considered as a programming language

Gordon Plotkin · Theoretical Computer Science · 1977 · 1.1K citations

Computing, Computer Science, Programming Languages +4

The implementation of functional programming languages

Microprocessors and Microsystems · 1987 · 1.1K citations

Computing, Computer Science, Compilers +10

Abstract interpretation of declarative languages

Information and Software Technology · 1988 · 321 citations · Full text

Language Studies, Computer Science, Linguistics +14

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