What is it about?
Linearity is a multi-faceted and ubiquitous notion in the analysis and the development of programming language concepts. We study linearity in a denotational perspective by picking out programs that correspond to linear functions between coherence spaces. We introduce a language, named SlPCF*, that increases the higher-order expressivity of a linear core of PCF by means of new operators related to exception handling and parallel evaluation. SlPCF* allows us to program all the finite elements of the model and, consequently, it entails a full abstraction result that makes the reasoning on the equivalence between programs simpler.
Featured Image
Why is it important?
It provides some insight on the denotational meaning of linearity.
Perspectives
It can be used to implement compiler with optimized execution.
Dr Luca Paolini
Universita degli Studi di Torino
Read the Original
This page is a summary of: Linearity and PCF, ACM SIGPLAN Notices, September 2011, ACM (Association for Computing Machinery),
DOI: 10.1145/2034574.2034822.
You can read the full text:
Contributors
The following have contributed to this page
