Comparing Control Constructs by Double-barrelled CPS Transforms
www.sciencedirect.com › article › pii
Abstract. We investigate continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of λ-abstraction gives ...
Abstract. We investigate call-by-value continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of ...
We investigate call-by-value continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of λ-abs.
PDF | We investigate call-by-value continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of.
Abstract. We investigate call-by-value continuation-passing style transforms that pass two continuations. Al- tering a single variable in the translation of ...
We investigate call-by-value continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of ...
Comparing Control Constructs by Double-barrelled CPS. By Hayo Thielecke (School of Computer Science, The University of Birmingham). We investigate call-by ...
Comparing control constructs by double-barrelled CPS. Hayo Thielecke. Computer Science. Research output: Contribution to journal › Article. 21 Citations (Scopus).
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives ...
Nov 12, 2022 · Another nice trick to know is "double-barrelled cps". Instead of returning a Result you have two continuations: one for success and one for ...