A Typed Higher-Order Programming Language Based on the Pi-Calculus

The-calculus ooers an attractive basis for concurrent programming languages. It is small, elegant, and well understood, and it supports, via simple encodings,a wide range of high-level constructs such as structured data, higher-order programming, concurrent control structures, and objects. Moreover, familiar type systems for the-calculus have direct counterparts in the-calculus, yielding strong, static typing for high-level languages deened in this way.