Programming and Proving with Classical Types
No abstract available.
Related papers
- A Formulae-as-Types Notion of Control POPL 1990
- Communicating quantum processes POPL 2005
- Lolliproc: to concurrency from classical linear logic via curry-howard and control ICFP 2010
- A Classical Sequent Calculus with Dependent Types TOPLAS 2019
- Qunity: A Unified Language for Quantum and Classical Computing POPL 2023
- Circuit Width Estimation via Effect Typing and Linear Dependency ESOP 2024
- On continuation-passing transformations and expected cost analysis ICFP 2021
- Quantifier Elimination and Parametric Polymorphism in Programming Languages JFP 1992