Typed, Template Coq: Certified Meta-Programming in Coq

POPL 2018 Research Papers