TLDI'11 : Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language in Design and Implementation

POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Jan 26, 2011-Jan 28, 2011 Austin, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.