Coq a la Carte: A Practical Approach to Modular Syntax With Binders

POPL 2020