Jump to content

Pict (programming language)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by GDonato (talk | contribs) at 21:23, 25 January 2007 (Wikified as part of the Wikification wikiproject! Tagged as necessary). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.


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.

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