CV Accueil - Archive ouverte HAL

Publications

	The MetaCoq Project Matthieu Sozeau , Abhishek Anand , Simon Boulier , Cyril Cohen , Yannick Forster Journal of Automated Reasoning, 2020, ⟨10.1007/s10817-019-09540-0⟩ Article dans une revue hal-02167423v1

	Towards Certified Meta-Programming with Typed Template-Coq Abhishek Anand , Simon Boulier , Cyril Cohen , Matthieu Sozeau , Nicolas Tabareau ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩ Communication dans un congrès hal-01809681v1