Advanced Topics in Types and Programming Languages, Paperback by Pierce, Benj...
96,46 €
Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems—the material covered in the first half of the earlier book.
Jetzt bei Ebay:
