The origins of structural operational semantics

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Language Studies, Computer Science, Formal Methods +6

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

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

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

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

Computing, Computer Science, Programming Languages +5

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