DMCA

Programming type-safe transformations using higher-order abstract syntax

by Olivier Savary-Belanger , Stefan Monnier , Brigitte Pientka
Citations:6 - 4 self