, School of Computer Science McGill University, Canada

• Journal of Formalized Reasoning Vol. 8 No. 1 (2015) - Articles
  Programming type-safe transformations using higher-order abstract syntax
  Abstract  PDF