Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009

Andrew Kennedy Amal Ahmed Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009 TLDI ACM 2009 db/conf/tldi/tldi2009.html 978-1-60558-420-1