%0 Book
%A sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
%T Proceedings of the TLDI '05 : 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation : papers presented at the workshop, Long Beach, California, USA, January 10th, 2005
%U /book/101388619/Proceedings-of-the-TLDI-05-2005-ACM-SIGPLAN-Int/