Programming type-safe transformations using higher-order abstract syntax

Olivier Savary BĂ©langer, Stefan Monnier, Brigitte Pientka. Programming type-safe transformations using higher-order abstract syntax. J. Formalized Reasoning, 8(1):49-91, 2015. [doi]

Abstract

Abstract is missing.