Jump to content

Pict (programming language)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Lambda kid (talk | contribs) at 16:53, 29 August 2006. 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

The Pict Programming language (With links to a compiler, manuals and a tutorial)