Pict (programming language)
| Pict | |
|---|---|
| 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 | |
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.