6 Ebooks by Benjamin C. Pierce
Naoki Kobayashi & Benjamin C. Pierce: Theoretical Aspects of Computer Software
This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The …
PDF
English
DRM
€57.82
Benjamin C. Pierce: Advanced Topics in Types and Programming Languages
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, …
PDF
English
DRM
€218.29
