A Prototype Dependency Calculus
Abstract elided by the publisher.
Related papers
- The calculus of dependent lambda eliminations JFP 2017
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025
- Type-Safe Prototype-Based Component Evolution ECOOP 2002
- Eliminating distinctions of class: using prototypes to model virtual classes OOPSLA 2006
- Gradualizing the Calculus of Inductive Constructions TOPLAS 2022
- Internalizing Indistinguishability with Dependent Types POPL 2024
- Dijkstra monads for free POPL 2017
- Security-typed programming within dependently typed programming ICFP 2010