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