PictLanguage

An ML-like language supporting MessagePassingConcurrency, based on the PiCalculus.

Links:

• http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html (home page)
• http://citeseer.ist.psu.edu/195460.html (language definition)
• http://citeseer.ist.psu.edu/pierce97programming.html (tutorial)
• http://citeseer.ist.psu.edu/2193.html (introduction, type system)
• http://lsrwww.epfl.ch/~pawel/Papers/asama.pdf (Nomadic Pict -- extensions for distribution)

---

See also: PiCalculus, ActorLanguages.

---

CategoryProgrammingLanguage CategoryConcurrency