Our objective is to understand the notion of type in programming languages, present a
model of typed, polymorphic programming languages that reflects recent research in type …

Scala fuses object-oriented and functional programming in a statically typed programming
language. It is aimed at the construction of components and component systems. This paper …

We present the E sterel programming language which is especially designed to program
reactive systems, that is systems which maintain a permanent interaction with their …

We hope to accomplish four things by writing this book. Our rst goal is to o er a tutorial on the
new mathematical ideas which underlie our research. In doing so we have tried to provide …

A handbook to the Coq software for writing and checking mathematical proofs, with a
practical engineering focus. The technology of mechanized program verification can play a …

During the past few years, many researchers have begun to present semantic specifications
in a style that has been strongly advocated by Plotkin in [19]. The purpose of this paper is to …

Abstract data type declarations appear in typed programming languages like Ada, Alphard,
CLU and ML. This form of declaration binds a list of identifiers to a type with associated …

As its title promises, this book provides foundations for software specification and formal
software development from the perspective of work on algebraic specification. It …

A thorough and accessible introduction to a range of key ideas in type systems for
programming language. The study of type systems for programming languages now touches …

This report details the design and implementation of the ZINC system. This is an
implementation of the ML language, intended to serve as a test eld for various extensions of …