Language Design/Semantics

Can Programming be Liberated from the von Neumann Style: A Functional Style and Its Algebra of Programs

Backus, J. (article, 1978)

PAL -- a language designed for teaching programming linguistics

Arthur Evans, Jr. (inproceedings, 1968)

The Art of the Metaobject Protocol

Gregor Kiczales and Jim des Rivi\`eres and and Daniel G. Bobrow (book, 1991)

The Next 700 Programming Languages

P. J. Landin (article, 1966)

Introduction to the Literature On Programming Language Design

Gary T. Leavens (techreport, 1993)

On abstraction and the expressive power of programming languages

Mitchell, J.C (article, 1993)

ON THE DEVELOPMENT OF ALGOL

Ronald Morrison (phdthesis, 1979)

Note on Algol and conservatively extending functional programming

Peter W. O'Hearn (article, 1996)

Functions, Frames, and Interactions -- completing a -calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments

Claus Reinke (phdthesis, 1997)

On functional programming, language design, and persistence

Claus Reinke (techreport, 1998)

GEDANKEN -- A Simple Typeless Language Based on the Principle of Completeness and the Reference Concept

John C.~Reynolds (article, 1970)

The Discoveries of Continuations

John C.~Reynolds (article, 1993)

International Symposium on Extensible Languages

[Stephen A.~Schuman (ed)] (proceedings, 1971)

Toward Relaxing Assumptions in Languages and Their Implementations

Mary Shaw and Wm.~A.~Wulf[Mary Shaw (ed)] (incollection, 1980)

ALPHARD: Form and Content

[Mary Shaw (ed)] (book, 1981)

Growing a Language

Guy Lewis Steele, Jr. (misc, 1998)

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Joseph E.~Stoy (book, 1977)

Fundamental Concepts in Programming Languages

Christopher Strachey (misc, 1967)

Varieties of Programming Language

Christopher Strachey (inproceedings, 1972)

Continuations: A Mathematical Semantics for Handling Full Jumps

Christopher Strachey and Christopher P.~Wadsworth (techreport, 1974)

Language Design Methods Based on Semantic Principles

R.~D.~Tennent (article, 1977)

Generalized ALGOL

Adriaan van Wijngaarden[Richard Goodman (ed)] (InCollection, 1963)

TUTORIAL Programming Language Design

Anthony I.~Wasserman (Book, 1980)