LINCX: A Linear Logical Framework with First-Class Contexts
No abstract available.
Related papers
- POPACheck: A Model Checker for Probabilistic Pushdown Automata CAV 2025
- Contextual Modal Type Theory with Polymorphic Contexts ESOP 2023
- Context-Free-Language Reachability for Almost-Commuting Transition Systems POPL 2026
- Parsing with first-class derivatives OOPSLA 2016
- Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity OOPSLA 2023
- Sets and constraint logic programming TOPLAS 2000
- Propositions-as-types and shared state ICFP 2021
- Synthesizing axiomatizations using logic learning OOPSLA 2022