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]
No references recorded for this publication.
No citations of this publication recorded.