GLOBAN 2006 - The Global Computing Approach to Analysis of Systems

Type systems

Lectures by Vasco Vasconcelos, University of Lisbon, Portugal

Abstract

The well-known benefits of type systems for sequential languages apply to concurrent, distributed languages as well: the partial specification of applications, the early identification of potential runtime errors, the imposition of a programming discipline, the uncovering of important information for compilers.

The lectures concentrate on type systems for process calculi that are likely to become more relevant to Service Oriented Computing, starting from the simple type system, through the linear type system, to session types.