By selectively CPS-transforming a program, we can execute a program with shift and reset in a standard functional language without support for control operators. We introduce a constraint-based type inference system that annotates the parts that are captured by shift and thus require CPS transformation.
Abstract. This paper presents a selective CPS transformation for a pro- gram that uses control operators, shift and reset, introduced by Danvy and Filinski.
By selectively CPS-transforming a program, we can execute a program with shift and reset in the standard functional language without support for control ...
This paper presents a selective CPS transformation for a program that uses control operators, shift and reset, introduced by Danvy and Filinski.
May 11, 2020 · A selective CPS transformation enables us to execute a program with delimited control operators, s h i f t and r e s e t , in a standard ...
This paper introduces a constraint-based type inference system that annotates the parts that are captured by shift and thus require CPS transformation, ...
Asai, K., and O. Kiselyov “Introduction to Programming with Shift and Reset,” Tutorial notes on delimited continuations at Continuation Workshop ...
A selective CPS transformation enables us to execute a program with delimited control operators, \(\texttt {shift}\) and \(\texttt {reset}\), in a standard ...
No information is available for this page. · Learn why
This paper introduces a constraint-based type inference system that annotates the parts that are captured by shift and thus require CPS transformation.