Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/12214
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Herbelin H. | en_US |
dc.contributor.author | Gilezan, Silvia | en_US |
dc.date.accessioned | 2020-03-03T14:47:36Z | - |
dc.date.available | 2020-03-03T14:47:36Z | - |
dc.date.issued | 2008-01-01 | - |
dc.identifier.issn | 15232867 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/12214 | - |
dc.description.abstract | We show that a variant of Parigot's λ;μ-calculus, originally due to de Groote and proved to satisfy Böhm's theorem by Saurin, is canonically interpretable as a call-by-name calculus of delimited control. This observation is expressed using Ariola et al's call-by-value calculus of delimited control, an extension of λ;μ-calculus with delimited control known to be equationally equivalent to Danvy and Filinski's calculus with shift and reset. Our main result then is that de Groote and Saurin's variant of λ;μ-calculus is equivalent to a canonical call-by-name variant of Ariola et al's calculus. The rest of the paper is devoted to a comparative study of the call-by-name and call-by-value variants of Ariola et al's calculus, covering in particular the questions of simple typing, operational semantics, and continuation-passing-style semantics. Finally, we discuss the relevance of Ariola et al's calculus as a uniform framework for representing different calculi of delimited continuations, including "lazy" variants such as Sabry's shift and lazy reset calculus. Copyright © 2008 ACM. | en_US |
dc.relation.ispartof | ACM SIGPLAN Notices | en_US |
dc.title | An approach to call-by-name delimited continuations | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.scopus | 2-s2.0-67650169497 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/67650169497 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 394 | en_US |
dc.relation.firstpage | 383 | en_US |
dc.relation.issue | 1 | en_US |
dc.relation.volume | 43 | en_US |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Departman za opšte discipline u tehnici | - |
crisitem.author.orcid | 0000-0003-2253-8285 | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
Appears in Collections: | FTN Publikacije/Publications |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.