Automatically Proving Equivalence by Type-Safe Reflection
- 28 June 2017
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Auto in AgdaPublished by Springer Science and Business Media LLC ,2015
- Compositional Computational ReflectionLecture Notes in Computer Science, 2014
- MtacPublished by Association for Computing Machinery (ACM) ,2013
- Idris, a general-purpose dependently typed programming language: Design and implementationJournal of Functional Programming, 2013
- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction ModuloLecture Notes in Computer Science, 2013
- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and EvaluationLecture Notes in Computer Science, 2013
- Theory Presentation CombinatorsLecture Notes in Computer Science, 2012
- A Tool for Automated Theorem Proving in AgdaLecture Notes in Computer Science, 2006
- Proving Equalities in a Commutative Ring Done Right in CoqLecture Notes in Computer Science, 2005
- A Proof Dedicated Meta-LanguageElectronic Notes in Theoretical Computer Science, 2002