Advanced Topics in Types and Programming Languages

Benjamin C. Pierce

published

2004

publisher

The MIT Press

pages

588

language

EN

ISBN

9780262162289