Pierce Benjamin C Advanced Topics in Types and Programming Languages - New Delhi Prentice Hall - Hard Binding xiii 574 English ISBN: 81-203-2792-6 Subjects--Topical Terms: --CS Dewey Class. No.: 004.21 -O