A Sound Semantics for OCamllight
Abstract elided by the publisher.
Related papers
- Syntactic and Semantic Soundness of Structural Dataflow Analysis SAS 2019
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics ECOOP 2012
- Soundness Conditions for Big-Step Semantics ESOP 2020
- Resource-Aware Soundness for Big-Step Semantics OOPSLA 2023
- Don't exhaust, don't waste: Resource-aware soundness for big-step semantics JFP 2026
- Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory OOPSLA 2025
- Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility TOPLAS 2022
- Trace types and denotational semantics for sound programmable inference in probabilistic languages POPL 2020