Sciweavers

Share
BIRTHDAY
2000
Springer

Pict: a programming language based on the Pi-Calculus

9 years 4 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constructs including data structures, higher-order functional programming, concurrent control structures, and objects. Moreover, familiar type systems for the -calculus have direct counterparts in the -calculus, yielding strong, static typing for a high-level language using the -calculus as its core. This paper describes Pict, a strongly-typed concurrent programming language constructed in terms of an explicitly-typed -calculus core language. Dedicated to Robin Milner on the occasion of his 60th birthday.
Benjamin C. Pierce, David N. Turner
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where BIRTHDAY
Authors Benjamin C. Pierce, David N. Turner
Comments (0)
books