Pict: a programming language based on the Pi-Calculus. Pierce, B. C. & Turner, D. N. In Proof, Language, and Interaction, Essays in Honour of Robin Milner, pages 455-494, 2000.
bibtex   
@inproceedings{ DBLP:conf/birthday/PierceT00,
  author    = {Benjamin C. Pierce and David N. Turner},
  title     = {Pict: a programming language based on the Pi-Calculus},
  booktitle   = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
  pages   = {455-494} ,
  year   = {2000}
}

Downloads: 0