The Duality of Construction
No abstract available.
Related papers
- Distributing intersection and union types with splits and duality (functional pearl) ICFP 2021
- The Duality of Subtyping ECOOP 2020
- Induction duality: primal-dual search for invariants POPL 2022
- Gabriel-Ulmer duality and Lawvere theories enriched over a general base JFP 2009
- Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes ESOP 2019
- The Duality of λ-Abstraction POPL 2025
- Lagrangian-Based Duality for Quantified SMT Algorithms CAV 2026
- Introduction and elimination, left and right ICFP 2022