Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program ManipulationMartin Erwig · First published 2016Open the Tome
Software Language EngineeringMartin Erwig, Richard F. Paige, Eric Van Wyk · First published 2013Open the Tome
An update calculus for expressing type-safe program updatesMartin Erwig · First published 2002Open the Tome
Compiling generic mathematical tool descriptions into FortranMartin Erwig · First published 2002Open the Tome
