\@inproceedings{ BSV09,
author = {Arthur Baars and S. Doaitse Swierstra and Marcos Viera}, 
title  = {Typed Transformations of Typed Abstract Syntax}, 
booktitle = {TLDI '09: fourth ACM SIGPLAN Workshop on Types in Language Design and Implementation}, 
year = {2009}, 
location = {Savannah, Georgia, USA}, 
publisher = {ACM}, 
address = {New York, NY, USA}, 
}