Hubbry Logo
search button
Sign in
Pict (programming language)
Pict (programming language)
Comunity Hub
History
arrow-down
starMore
arrow-down
bob

Bob

Have a question related to this hub?

bob

Alice

Got something to say related to this hub?
Share it here.

#general is a chat channel to discuss anything related to the hub.
Hubbry Logo
search button
Sign in
Pict (programming language)
Community hub for the Wikipedia article
logoWikipedian hub
Welcome to the community hub built on top of the Pict (programming language) Wikipedia article. Here, you can discuss, collect, and organize anything related to Pict (programming language). The purpose of...
Add your contribution
Pict (programming language)
Pict
ParadigmConcurrent
DeveloperBenjamin C. Pierce and David N. Turner
Typing disciplineStatic
LicenseGNU General Public License
Filename extensions.pi
Websitewww.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html
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.

References

[edit]
  1. ^ Sewell, Peter; Wojciechowski, Pawel; Unyapot, Asis (2010). "Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation". ACM Transactions on Programming Languages and Systems. 32 (4). doi:10.1145/1734206.1734209.

Sources

[edit]
[edit]