A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
Abstract elided by the publisher.
Related papers
- Monadic and comonadic aspects of dependency analysis OOPSLA 2022
- A Core Calculus of Dependency POPL 1999
- Fully abstract models for effectful λ-calculi via category-theoretic logical relations POPL 2022
- Blame and coercion: Together again for the first time JFP 2021
- A Type-Directed Operational Semantics For a Calculus with a Merge Operator ECOOP 2020
- Blame and coercion: together again for the first time PLDI 2015
- Type-directed operational semantics for gradual typing JFP 2024
- Type-Directed Operational Semantics for Gradual Typing ECOOP 2021