First Page | Document Content | |
---|---|---|
Programming type-safe transformations using higher-order abstract syntax Olivier Savary-Belanger1 , Stefan Monnier2 , and Brigitte Pientka1 1 2Document is deleted from original location. Download Document from Web Archive |