TY - BOOK ED - ACM SIGPLAN International Workshop on Types in Languages Design and Implementation ED - ACM Special Interest Group on Programming Languages TI - Proceedings of the TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design And Implementation : papers presented at the workshop, New Orleans, Louisiana, USA, January 18th, 2003 AV - QA76.7 A25 2003 PY - 2003/// CY - New York PB - Association for Computing Machinery KW - Programming languages (Electronic computers) KW - Congresses ER -