You are about to access our book library "Proceedings of the Tldi 2007: 2007 ACM Sigplan International Workshop on Types in Languages Design and Implementation: Papers Presented at the Works full version" .