{"version":"1.0","type":"link","title":"Types and Programming Languages - Newikis","description":"Types and Programming Languages, written by Benjamin C. Pierce who is a Professor of Computer and Information Science at the University of Pennsylvania is a computing book on type systems and programming languages. Types and Programming Languages was published in 2002 by MIT Press.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400,"thumbnail_url":"https://upload.wikimedia.org/wikipedia/en/2/24/Types_and_Programming_Languages.jpg","thumbnail_width":292,"thumbnail_height":341}