Daniel Zackon, Chuta Sano, Alberto Momigliano, Brigitte Pientka. Split Decisions: Explicit Contexts for Substructural Languages. In Kathrin Stark, Amin Timany, Sandrine Blazy, Nicolas Tabareau, editors, Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025. pages 257-271, ACM, 2025. [doi]
Abstract is missing.