@inproceedings{BSV09a,
 author = {Baars,, Arthur I. and Swierstra,, S. Doaitse and Viera,, Marcos},
 title = {Typed transformations of typed abstract syntax},
 booktitle = {TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation},
 year = {2009},
 isbn = {978-1-60558-420-1},
 pages = {15--26},
 location = {Savannah, GA, USA},
 doi = {http://doi.acm.org/10.1145/1481861.1481865},
 publisher = {ACM},
 address = {New York, NY, USA},
 }