Software Foundations, Volume 2: Programming Language Foundations
by Benjamin C. Pierce
4.09(11 ratings)
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.Programming Language Foundations, surveys the theory of programm…