A Typed Higher-Order Programming Language Based on the Pi-Calculus Export

@inproceedings{citeulike:1820605, abstract = {The -calculus offers an attractive basis for concurrent programming languages. It is small, elegant, and well understood, and it supports, via simple encodings,a wide range of high-level constructs such as structured data, higher-order programming, concurrent control structures, and objects. Moreover, familiar type systems for the -calculus have direct counterparts in the -calculus, yielding strong, static typing for high-level languages defined in this way. 1 Introduction Though it...}, author = {Pierce, Benjamin C. and R\'emy, Didier and Turner, David N.}, booktitle = {Workshop on Type Theory and its Application to Computer Systems, Kyoto University}, citeulike-article-id = {1820605}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4600}, keywords = {1993, pi, pict}, month = {July}, posted-at = {2007-10-25 11:49:34}, priority = {3}, title = {A Typed Higher-Order Programming Language Based on the Pi-Calculus}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4600}, year = {1993} }

TY - CONF ID - citeulike:1820605 L3 - citeulike-article-id:1820605 N2 - The -calculus offers an attractive basis for concurrent programming languages. It is small, elegant, and well understood, and it supports, via simple encodings,a wide range of high-level constructs such as structured data, higher-order programming, concurrent control structures, and objects. Moreover, familiar type systems for the -calculus have direct counterparts in the -calculus, yielding strong, static typing for high-level languages defined in this way. 1 Introduction Though it... TI - A Typed Higher-Order Programming Language Based on the Pi-Calculus T2 - Workshop on Type Theory and its Application to Computer Systems, Kyoto University KW - 1993 KW - pi KW - pict AU - Pierce, Benjamin AU - R\'emy, Didier AU - Turner, David PY - 1993/July// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4600 ER -