Advanced topics in types and programming languages - Benjamin C. Pierce., (MIT Press, 2005)
Incluye índice