Christopher Strachey

• A theory of programming language semantics
• Continuations
• The text of OSPub
• The varieties of programming language