TY  - BOOK
A1  - sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
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
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101388619
UR  /book/101388619/Proceedings-of-the-TLDI-05-2005-ACM-SIGPLAN-Int/
ER  -