A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er

A survey of real-time systems and the programming languages used in their development. Shows how modern real-time programming techniques are used in a wide vari

This book constitutes the refereed proceedings of the Second Asian Symposium on Programming Languages and Systems, APLAS 2004, held in Taipei, Taiwan in Novembe

An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.

Summary Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power