Language peer sets for PICT:
Designed 1991 ↑
1990s languages ↑
Country: United Kingdom
is a language in the ML tradition, formed by adding a layer of convenient syntactic sugar and a static type system to a tiny core. The current release includes a PICT-to-C compiler, reference manual, tutorial, libraries for common data structures, example programs, and a rudimentary X-based widget toolkit. The core language, an asynchronous variant of Milner, Parrow, and Walker's pi-calculus, has been used as a theoretical foundation for a broad class of concurrent computations.
The goal is to identify high-level idioms that arise naturally when these primitives are used to build working programs, idioms such as basic data structures, protocols for returning results, higher-order programming, selective communication and concurrent objects. Developed by Benjamin Pierce, University of Cambridge.
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder