@InProceedings{Zschaler+11a,
  author    = {Steffen Zschaler and Iman Poernomo and Jeffrey Terrell},
  title     = {Towards Using Constructive Type Theory for Verifiable Modular Transformations},
  booktitle = {Proc. 1st Workshop on Free Composition (FREECO'11, short paper)},
  year      = 2011,
}