|
Link to the Homepage: Practical Foundations for Programming Languages
| |
Harper, Robert Practical Foundations for Programming Languages Cambridge University Press 2016 | |
Pierce, Benjamin C. Types and programming languages MIT 2002 | |
Zobel, Justin. Writing for Computer Science Springer 2014 |