TY  - BOOK
A1  - / Edited by Benjamin C. Pierce
TI  - Advanced topics in types and programming languages /
PB  - کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران
SN  - 99680375
UR  /book/99680375/Advanced-topics-in-types-and-programming-languages/
ER  -