Dreyer, Derek Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Weirich, S., & Dreyer, D. (Eds.). (2011). TLDI '11: Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation. doi:10.1145/1929553.