|
(via the Types Forum)
Types and Programming Languages by Benjamin C. Pierce. ISBN 0-262-16209-1
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations
Posted to theory by Ehud Lamm on 2/24/02; 1:32:51 AM
|
Types and Programming Languages
