Towards an Adequate Notion of Observation
Abstract elided by the publisher.
Related papers
- Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus JFP 2000
- Fairness and Hyperfairness in Multi-Party Interactions POPL 1990
- Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules POPL 2024
- Typed compilation of inclusive subtyping ICFP 2000
- Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability TOPLAS 1983
- Domain-Theoretic Semantics for Functional Logic Programming POPL 2026
- Consistent Subtyping for All ESOP 2018
- Robust Dynamic Embedding for Gradual Typing ICFP 2025