Semantics with Applications: An Appetizer

Semantics will have an important role to play i...

Trustworthy Global Computing

This book constitutes the thoroughly refereed p...

Formal Methods

This textbook is an introduction to the use of ...

Principles of Program Analysis

ML with Concurrency

Both functional and concurrent programming are ...

Principles of Program Analysis

Program analysis concerns static techniques for...

Two-Level Functional Languages

The authors describe here a framework in which ...

Trustworthy Global Computing

This book constitutes the thoroughly refereed p...

Formal Methods

This textbook is an introduction to the use of ...

Principles of Security and Trust

This open access book constitutes the proceedin...

ML with Concurrency

Both functional and concurrent programming are ...

Two-Level Functional Languages

This book provides a framework in which the typ...