Comments: hardcover The item is fairly worn but still readable. Signs of wear include aesthetic issues such as scratches, worn covers, damaged binding. The item may have identifying markings on it or show other signs of previous use. May have page creases, creased spine, bent cover or markings inside. Packed with care, shipped promptly.
30-day money back guarantee
Publication Date: 2002
Publisher: Mit Pr
Pierce, Benjamin C.
This text provides an introduction to type systems in computer science and to the basic theory of programming languages. Each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations.Pierce, Benjamin C. is the author of 'Types and Programming Languages', published 2002 under ISBN 9780262162098 and ISBN 0262162091.