The Semantic Layers of Timber
Abstract elided by the publisher.
Related papers
- Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata VMCAI 2022
- Layered and object-based game semantics POPL 2022
- Strict and lazy semantics for effects: layering monads and comonads ICFP 2018
- Representing Layered Monads POPL 1999
- Fusing Session-Typed Concurrent Programming into Functional Programming ICFP 2025
- Formal reasoning about layered monadic interpreters ICFP 2022
- ATKVerifier: Adaptive Top-K Constraints for Tighter Verification of Semantic Segmentation Networks CAV 2026
- Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability CAV 2021