The use of monads to structure functional programs is described. Monads provide a
convenient framework for simulating effects found in other languages, such as global state …

A theory of lazy λ-calculus is developed as a basis for lazy functional programming
languages. This is motivated by a mismatch between the" standard"(ie, sensible) theory of …

Semantics of Programming Languages exposes the basic motivations and philosophy
underlying the applications of semantic techniques in computer science. It introduces the …

This book is written out of a tradition that places special emphasis on the following three
approaches to semantics:–operational semantics,–denotational semantics, and–axiomatic …

Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51 (1991) 1–
77.• Domain theory, the mathematical theory of computation introduced by Scott as a …

We study Girard's linear logic from the point of view of giving a concrete computational
interpretation of the logic, based on the Curry—Howard isomorphism. In the case of …

Comparing the Galois connection and widening/narrowing approaches to abstract
interpretation Page 1 Comparing the Galois Connection and Widening/Narrowing Approaches …

We present a survey of control-flow analysis of functional programs, which has been the
subject of extensive investigation throughout the past 30 years. Analyses of the control flow …

We present an overview of the program transformation methodology, focusing our attention
on the so-called “rules+ strategies” approach in the case of functional and logic programs …

When you think about how far and fast computer science has progressed in recent years, it's
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …