Semantics

A categorical semantics for qualified types

Benedict R. Gaster (misc, 1998)

Fold and Unfold for Program Semantics

Graham Hutton (misc, 1997)

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

Joseph E.~Stoy (book, 1977)

Continuations: A Mathematical Semantics for Handling Full Jumps

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