Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)
Abstract elided by the publisher.
Related papers
- Formal Analysis of Message Passing - (Invited Talk) VMCAI 2011
- Matching logic: the foundation of the K framework (invited talk) CPP 2020
- A linear logical framework in hybrid (invited talk) CPP 2019
- Destination Calculus: A Linear 𝜆-Calculus for Purely Functional Memory Writes OOPSLA 2025
- Algorithmic music in Haskell (invited talk) Haskell 2017
- Coq's vibrant ecosystem for verification engineering (invited talk) CPP 2022
- Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification (Invited Talk) CAV 2026
- Underpinning the foundations: sail-based semantics, testing, and reasoning for production and CHERI-enabled architectures (invited talk) CPP 2021