PakCat catalogue record Types and Programming Languages By Pierce, Benjamin C. Bibliographic details ISBN9780262162098 PublisherMIT Press Publication placeCambridge Publication year2002 Material typeBook Physical description623 p.