A Syntactic Theory of Transparent Parameterization
No abstract available.
Related papers
- Applicative Functors and Fully Transparent Higher-Order Modules POPL 1995
- An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories POPL 2026
- Transparent Modules with Fully Syntactic Signatures ICFP 1999
- Higher-Order Functors with Transparent Signatures POPL 1995
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Declarative Stream Runtime Verification (hLola) APLAS 2020
- Interprocedural query extraction for transparent persistence OOPSLA 2008
- Program adverbs and Tlön embeddings ICFP 2022