Paradigm | Concurrent |
---|---|
Developer | Benjamin C. Pierce and David N. Turner |
Typing discipline | Static |
License | GNU General Public License |
Filename extensions | .pi |
Website | www |
Influenced by | |
ML | |
Influenced | |
Orc, Nomadic Pict[1] |
Pict is a statically typed programming language, one of the very few based on the π-calculus. Work on the language began at the University of Edinburgh in 1992, and development has been more or less dormant since 1998. The language is still at an experimental stage.