Keyword:dependent types

Publications
Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables Nikolai Kudasov EasyChair Preprint 8680
Substructural Calculi with Dependent Types Zhaohui Luo EasyChair Preprint 421
Termination Checking in the Presence of Nested Inductive and Coinductive Types Thorsten Altenkirch and Nils Anders Danielsson In:PAR-10. Partiality and Recursion in Interactive Theorem Provers
Termination Casts: A Flexible Approach to Termination with General Recursion Aaron Stump, Vilhelm Sjöberg and Stephanie Weirich In:PAR-10. Partiality and Recursion in Interactive Theorem Provers
Beating the Productivity Checker Using Embedded Languages Nils Anders Danielsson In:PAR-10. Partiality and Recursion in Interactive Theorem Provers
MiniAgda: Integrating Sized and Dependent Types Andreas Abel In:PAR-10. Partiality and Recursion in Interactive Theorem Provers