- 博客(0)
- 资源 (1)
空空如也
types and programming languages
The book addresses two main audiences: graduate students and researchers
specializing in programming languages and type theory, and graduate students
and mature undergraduates from all areas of computer science who
want an introduction to key concepts in the theory of programming languages.
For the former group, the book supplies a thorough tour of the field,
with sufficient depth to proceed directly to the research literature. For the
latter, it provides extensive introductory material and a wealth of examples,
exercises, and case studies. It can serve as the main text for both introductory
graduate-level courses and advanced seminars in programming languages.
2011-12-01
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人