@BOOK{ Book!D - 94486636,
AUTHOR = "/ edited by  Benjamin C. Pierce,",
TITLE = "Advanced topics in types and programming languages",
LIBRARY= "کتابخانه مرکزی دانشگاه ایلام",
SUBJECT = "Programming languages (Electronic computers)",
URL = "/book/94486636/Advanced-topics-in-types-and-programming-languages/"}