Types and Programming Languages
Benjamin C. Pierce (Kovakantinen)
Toimitusaika: 5-15 arkipäivää
This text provides an introduction 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.
Virheilmoitus
