A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
[chapter]
2002
Lecture Notes in Computer Science
We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as the core calculus of typed call-by-value programming languages) into the linear lambda calculus. As an instance Berdine et al.'s work on linearly used continuations can be put in this general picture. As a technical result we show the full completeness of the CPS transform into the linear lambda calculus.
doi:10.1007/3-540-45788-7_10
fatcat:yci7e6djxfa43amh2mdd5373ty