Pict: A Programming Language Based on the Pi-Calculus Export

@inproceedings{citeulike:158552, abstract = {The \π-calculus offers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports (via simple encodings) a wide range of high-level constructs including data structures, higher-order functional programming, concurrent control structures, and objects. Moreover, familiar type systems for the \λ-calculus have direct counterparts in the \π-calculus, yielding strong, static typing for a high-level language using the \π-calculus as its core.}, author = {Pierce, Benjamin C. and Turner, David N.}, booktitle = {Proof, Language and Interaction: Essays in Honour of Robin Milner}, citeulike-article-id = {158552}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/pierce97pict.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/pierce97pict.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/pierce97pict.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/pierce97pict.html}, editor = {Plotkin, G. and Stirling, C. and Tofte, M.}, keywords = {concurrency, languages, pi-calculus}, posted-at = {2008-04-11 23:53:23}, priority = {2}, publisher = {MIT Press}, title = {Pict: A Programming Language Based on the Pi-Calculus}, url = {http://citeseer.ist.psu.edu/pierce97pict.html}, year = {2000} }

TY - CONF ID - citeulike:158552 L3 - citeulike-article-id:158552 N2 - The π-calculus offers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports (via simple encodings) a wide range of high-level constructs including data structures, higher-order functional programming, concurrent control structures, and objects. Moreover, familiar type systems for the λ-calculus have direct counterparts in the π-calculus, yielding strong, static typing for a high-level language using the π-calculus as its core. TI - Pict: A Programming Language Based on the Pi-Calculus PB - MIT Press T2 - Proof, Language and Interaction: Essays in Honour of Robin Milner KW - concurrency KW - languages KW - pi-calculus AU - Pierce, Benjamin AU - Turner, David A2 - Plotkin, G A2 - Stirling, C A2 - Tofte, M PY - 2000/// UR - http://citeseer.ist.psu.edu/pierce97pict.html ER -