Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
No abstract available.
Related papers
- On one-pass CPS transformations JFP 2007
- A Reflection on Call-by-Value TOPLAS 1997
- CPS transformation of flow information, Part II: administrative reductions JFP 2003
- Semantics of Linear/Modal Lambda Calculus JFP 1999
- Backpropagation in the simply typed lambda-calculus with linear negation POPL 2020
- How to CPS Transform a Monad CC 2009
- The Relative Monadic Metalanguage POPL 2026
- Linearization of the lambda-calculus and its relation with intersection type systems JFP 2004