Observers for Linear Types
No abstract available.
Related papers
- Recursive Logical Relations for Intuitionistic Linear Logic Session Types ESOP 2026
- Verification of Context-Free Timed Systems Using Linear Hybrid Observers CAV 1994
- A type system with usage aspects JFP 2008
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement CAV 2022
- Tight typings and split bounds, fully developed JFP 2020
- Tight typings and split bounds ICFP 2018
- Information Flow Control in Cyclic Process Networks ECOOP 2024
- Fusing Session-Typed Concurrent Programming into Functional Programming ICFP 2025