Pict Compiler Online
Pict 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 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.