How to CPS Transform a Monad
No abstract available.
Related papers
- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus APLAS 2001
- On one-pass CPS transformations JFP 2007
- An Operational Investigation of the CPS Hierarchy ESOP 1999
- A Generic Account of Continuation-Passing Styles POPL 1994
- Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl) ICFP 2018
- On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic ESOP 2025
- A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations TOPLAS 2015
- Reflection without remorse: revealing a hidden sequence to speed up monadic reflection Haskell 2014