Armaël Guéneau

The Logical Essence of Well-Bracketed Control Flow

2024 · Proceedings of the ACM on Programming Languages

A program is said to be well-bracketed if every called function must return before its caller can resume execution. This is often the case. Well-bracketedness has been captured semantically as a condition on strategies in …