The Practice of a Compositional Functional Programming Language
No abstract available.
Related papers
- A Compositional Semantics for Verified Separate Compilation and Linking CPP 2015
- Asynchronous functional reactive programming for GUIs PLDI 2013
- Compositional Explanation of Types and Algorithmic Debugging of Type Errors ICFP 2001
- Denotation-based Compositional Compiler Verification TOPLAS 2026
- Probabilistic Termination: Soundness, Completeness, and Compositionality POPL 2015
- Expressional Loops POPL 1984
- SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols PLDI 2026
- A framework for adaptive differential privacy ICFP 2017