![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
https://www.semanticscholar.org/paper/The-Theory-and-Practice-of-Programming-Languages-Biernacki/bf91e6b4a257faf9a028cef32d2e00364a846ea4
The Theory and Practice of Programming Languages with Delimited Continuations
Dariusz Biernacki
Published 2007
This dissertation presents a study of functional programming languages with first-class delimited continuations. We focus mainly on theoretical and practical aspects of Danvy and Filinski’s hierarchy of static delimited-control operators shiftn and resetn, and of Felleisen’s dynamic delimited-control operators control and prompt. Our study uses the traditional means of specifying semantics of functional languages: higher-order interpreters and abstract machines. We therefore first investigate the essence of interpreters and abstract machines, and we present a systematic and constructive derivation method connecting them. ( Read more... )
The Theory and Practice of Programming Languages with Delimited Continuations
Dariusz Biernacki
Published 2007
This dissertation presents a study of functional programming languages with first-class delimited continuations. We focus mainly on theoretical and practical aspects of Danvy and Filinski’s hierarchy of static delimited-control operators shiftn and resetn, and of Felleisen’s dynamic delimited-control operators control and prompt. Our study uses the traditional means of specifying semantics of functional languages: higher-order interpreters and abstract machines. We therefore first investigate the essence of interpreters and abstract machines, and we present a systematic and constructive derivation method connecting them. ( Read more... )
