Back to Direct Style
No abstract available.
Related papers
- Back to Direct Style: Typed and Tight OOPSLA 2023
- Equivalence by Canonicalization for Synthesis-Backed Refactoring PLDI 2024
- There and back again ICFP 2002
- Pure Borrow: Linear Haskell Meets Rust-Style Borrowing PLDI 2026
- Higher-Order Model Checking in Direct Style APLAS 2016
- CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph Serialisation Haskell 2026
- There and back again: arrows for invertible programming Haskell 2005
- The Pi-calculus in Direct Style POPL 1997