<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br>We are pleased to announce the availability of the package "TTTAS", which contains the code associated with our paper at the coming TLDI workshop:<br><br>\@inproceedings{ BSV09,<br>author = {Arthur Baars and S. Doaitse Swierstra and Marcos Viera},<br>title = {Typed Transformations of Typed Abstract Syntax},<br>booktitle = {TLDI '09: fourth ACM SIGPLAN Workshop on Types in Language Design and Implementation},<br>year = {2009},<br>location = {Savannah, Georgia, USA},<br>publisher = {ACM},<br>address = {New York, NY, USA},<br>}<br><br>For more information see: <a href="http://www.cs.uu.nl/wiki/bin/view/Center/TTTAS">http://www.cs.uu.nl/wiki/bin/view/Center/TTTAS</a><br><br> Arthur Baars<br> Marcos Viera<br> Doaitse Swierstra<br><br><br></body></html>