TY - BOOK ID - 137611053 TI - Proceedings of the TLDI '05 : 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation : papers presented at the workshop, Long Beach, California, USA, January 10th, 2005 AU - ACM SIGPLAN International Workshop on Types in Languages Design and Implementation AU - ACM Special Interest Group on Programming Languages PY - 2005 PB - [Place of publication not identified] Association for Computing Machinery DB - UniCat KW - Programming languages (Electronic computers) UR - https://www.unicat.be/uniCat?func=search&query=sysid:137611053 AB - ER -