Similar Items: An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- Bisimulations for Delimited-Control Operators
- Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
- Linear-use CPS translations in the Enriched Effect Calculus
- Lazy Evaluation and Delimited Control
- Multi-Perspective Security Risk Assessment for APT Attacks in CPS Environments
- Foundations of Online Structure Theory II: The Operator Approach