Pict (programming language)

From Wikipedia, the free encyclopedia

Pict is a statically typed programming language based on the pi-calculus, one of very few languages to do this. Work on the language began at the University of Edinburgh in 1992. The language is still at an experimental stage.

[edit] Sources

Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical report, Computer Science Department, Indiana University, 1997

[edit] External links