Linearity, Control Effects, and Behavioral Types
Abstract elided by the publisher.
Related papers
- Soundly Handling Linearity POPL 2024
- From control effects to typed continuation passing POPL 2003
- Linear-time Subtransitive Control Flow Analysis PLDI 1997
- Reasoning about Continuations with Control Effects PLDI 1989
- A theory of substructural types and control OOPSLA 2011
- An effective theory of type refinements ICFP 2003
- StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities POPL 2019
- StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities JFP 2021