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.

• Type: Conference
• Year: 2000
• Where: BIRTHDAY
• Authors: Benjamin C. Pierce, David N. Turner
• Keywords: Applied Computing, BIRTHDAY 2000, Concurrent Control Structures, Concurrent Programming, Strongly-typed Concurrent Programming