Types In Languages Design And Implementation
TLDI 2012: Philadelphia, PA, USA
Benjamin C. Pierce (Ed.): Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012. ACM 2012 ISBN 978-1-4503-1120-5 [ contents ]
TLDI 2011: Austin, TX, USA
- Stephanie Weirich, Derek Dreyer (Eds.): Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011. ACM 2011 ISBN 978-1-4503-0484-9 [ contents ]
TLDI 2010: Madrid, Spain
- Andrew Kennedy, Nick Benton (Eds.): Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010. ACM 2010 ISBN 978-1-60558-891-9 [ contents ]
TLDI 2009: Savannah, GA, USA
- Andrew Kennedy, Amal Ahmed (Eds.): Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. ACM 2009 ISBN 978-1-60558-420-1 [ contents ]
TLDI 2007: Nice, France
- François Pottier, George C. Necula (Eds.): Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007. ACM 2007 ISBN 1-59593-393-X [ contents ]
TLDI 2005: Long Beach, California, USA
- J. Gregory Morrisett, Manuel Fähndrich (Eds.): Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005. ACM 2005 ISBN 1-58113-999-3 [ contents ]
TLDI 2003: New Orleans, Louisiana, USA
- Zhong Shao, Peter Lee (Eds.): Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003. ACM 2003 ISBN 1-58113-649-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team