Software Foundations, Volume 2: Programming Language Foundations

Benjamin C. Pierce , Arthur Azevedo de Amorim , Chris Casinghino