[图书][B] Linguistic side effects
C Shan - 2005 - search.proquest.com
Apparently noncompositional phenomena in natural languages can be analyzed like
computational side effects in programming languages: anaphora can be analyzed like state …
computational side effects in programming languages: anaphora can be analyzed like state …
An operational foundation for delimited continuations in the CPS hierarchy
M Biernacka, D Biernacki… - Logical Methods in …, 2005 - lmcs.episciences.org
We present an abstract machine and a reduction semantics for the lambda-calculus
extended with control operators that give access to delimited continuations in the CPS …
extended with control operators that give access to delimited continuations in the CPS …
Subtyping delimited continuations
M Materzok, D Biernacki - ACM SIGPLAN Notices, 2011 - dl.acm.org
We present a type system with subtyping for first-class delimited continuations that
generalizes Danvy and Filinski's type system for shift and reset by maintaining explicit …
generalizes Danvy and Filinski's type system for shift and reset by maintaining explicit …
A static simulation of dynamic delimited control
C Shan - Higher-order and symbolic computation, 2007 - Springer
We present a continuation-passing-style (CPS) transformation for some dynamic delimited-
control operators, including Felleisen's \verb|control| and \verb|prompt|, that extends a …
control operators, including Felleisen's \verb|control| and \verb|prompt|, that extends a …
A syntactic correspondence between context-sensitive calculi and abstract machines
M Biernacka, O Danvy - Theoretical Computer Science, 2007 - Elsevier
We present a systematic construction of environment-based abstract machines from context-
sensitive calculi of explicit substitutions, and we illustrate it with ten calculi and machines for …
sensitive calculi of explicit substitutions, and we illustrate it with ten calculi and machines for …
[PDF][PDF] An analytical approach to program as data objects
O Danvy - 2006 - core.ac.uk
An Analytical Approach to Programs as Data Objects Page 1 Olivier Danvy Doctoral thesis An
Analytical Approach to Programs as Data Objects Department of Computer Science Page 2 An …
Analytical Approach to Programs as Data Objects Department of Computer Science Page 2 An …
Delimited control in OCaml, abstractly and concretely
O Kiselyov - Theoretical Computer Science, 2012 - Elsevier
We describe the first implementation of multi-prompt delimited control operators in OCaml
that is direct in that it captures only the needed part of the control stack. The implementation …
that is direct in that it captures only the needed part of the control stack. The implementation …
On one-pass CPS transformations
O Danvy, K Millikin, LR Nielsen - Journal of Functional Programming, 2007 - cambridge.org
We bridge two distinct approaches to one-pass CPS transformations, ie, CPS
transformations that reduce administrative redexes at transformation time instead of in a post …
transformations that reduce administrative redexes at transformation time instead of in a post …
Typed dynamic control operators for delimited continuations
Y Kameyama, T Yonezawa - … Symposium, FLOPS 2008, Ise, Japan, April …, 2008 - Springer
We study the dynamic control operators for delimited continuations, Control and Prompt.
Based on recent developments on purely functional CPS translations for them, we introduce …
Based on recent developments on purely functional CPS translations for them, we introduce …
Delimited control in OCaml, abstractly and concretely: System description
O Kiselyov - International Symposium on Functional and Logic …, 2010 - Springer
We describe the first implementation of multi-prompt delimited control operators in OCaml
that is direct in that it captures only the needed part of the control stack. The implementation …
that is direct in that it captures only the needed part of the control stack. The implementation …