[Announce] TTTAS (with excuse for second attempt to post)

S. Doaitse Swierstra doaitse at swierstra.net
Sun Dec 7 16:05:30 EST 2008


We are pleased to announce the availability of the package "TTTAS",  
which contains the code associated with our paper at the coming TLDI  
workshop:

\@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},
}

For more information see: http://www.cs.uu.nl/wiki/bin/view/Center/TTTAS

   Arthur Baars
   Marcos Viera
   Doaitse Swierstra


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/libraries/attachments/20081207/23ab5283/attachment.htm


More information about the Libraries mailing list