Liberal Typing for Functional Logic Programs
No abstract available.
Related papers
- Liberating Merges via Apartness and Guarded Subtyping OOPSLA 2025
- Can programming be liberated from the two-level style: multi-level programming with deepjava OOPSLA 2007
- Quantitative strongest post: a calculus for reasoning about the flow of quantitative information OOPSLA 2022
- When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking OOPSLA 2026
- Can Programming Be Liberated from the Functional Style? SLE 2025
- When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism POPL 2024
- Floyd-hoare logic for quantum programs TOPLAS 2011
- Simple relational correctness proofs for static analyses and program transformations POPL 2004