O. Danvy. Formalizing implementation strategies for rst-class continuations. In G. Smolka, editor, Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Extracting the Range of cps from Affine Typing - Berdine, O'Hearn, Thielecke (Correct)
....system such as that studied here in the context of certifying compilers, we also need a lower level language and type system into which transformations that exploit properties ensured by the higher level type system can be de ned such that typing derivations can also be translated. So while Danvy [4] and Polakow and Pfenning [9] have proofs that continuations can be stack allocated, we would like to design a type system for stack manipulating code and show how terms and types are translated. It would also be interesting to test the hypothesis that using a junk free cps language improves the ....
O. Danvy. Formalizing implementation strategies for rst-class continuations. In G. Smolka, editor, Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC