@BOOK{ Book!D - 93075642,
AUTHOR = "/ Benjamin C. Pierce",
TITLE = "Types and programming languages",
LIBRARY= "کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره",
SUBJECT = "Programming languages (Electronic computers)",
URL = "/book/93075642/Types-and-programming-languages/"}