Pure type system - Document - PDFSEARCH.IO

First Page	Meta Content
	Programming type-safe transformations using higher-order abstract syntax Olivier Savary-Belanger1 , Stefan Monnier2 , and Brigitte Pientka1 1 2 Add to Reading List Open Document File Size: 346,42 KB Share Result on Facebook

UPDATE

Programming type-safe transformations using higher-order abstract syntax Olivier Savary-Belanger1 , Stefan Monnier2 , and Brigitte Pientka1 1 2Add to Reading List