Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop
No abstract available.
DOI 10.1007/3-540-58485-4_47
Related papers
- All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants POPL 2025
- Bounded Sort Polymorphism with Elimination Constraints POPL 2026
- Contextual Modal Type Theory with Polymorphic Contexts ESOP 2023
- Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic PLDI 2026
- Polymorphism and separation in hoare type theory ICFP 2006
- Internal and Observational Parametricity for Cubical Agda POPL 2024
- On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings ESOP 2018
- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings TOPLAS 2021