195730
9780262162098
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.
[read more]