1 / 1
Edition · 2024-07-02 · Softcover
Advanced Topics in Types and Programming Languages
BPBenjamin C. Pierce- 2024
- year of publication
- 588
- pages
- English (United States)
- language
- Softcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6255-267-7
- EAN
- 9780262552677
- Publication date
- 2024-07-02
- Book
- Advanced Topics in Types and Programming Languages · 1 edition
The publisher on this edition
A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now touches many areas of computer science,...