Advanced Topics in Types and Programming Languages by Benjamin C. Pierce
71,01 €
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:
