PakCat catalogue record Practical Foundations for Programming Languages By Harper, Robert Bibliographic details ISBN9781107029576 PublisherCambridge Publication placeNewYork Publication year2013 Material typeBook Physical description471 p.