Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011

Stephanie Weirich Derek Dreyer Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011 TLDI ACM 2011 db/conf/tldi/tldi2011.html 978-1-4503-0484-9 http://dl.acm.org/citation.cfm?id=1929553