View of Programming type-safe transformations using higher-order abstract syntax

Return to Article Details Programming type-safe transformations using higher-order abstract syntax Download Download PDF