Paperback
Explore advanced type systems: from language design to network security.
Advanced Topics in Types and Programming Languages
- Paperback
588 pages
- Release Date
2 July 2024
Summary
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, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.
The topics covered i…
Book Details
| ISBN-13: | 9780262552677 |
|---|---|
| ISBN-10: | 0262552671 |
| Author: | Benjamin C. Pierce |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Paperback |
| Number of Pages: | 588 |
| Release Date: | 2 July 2024 |
| Weight: | 369g |
| Dimensions: | 229mm x 203mm |
You Can Find This Book In
About The Author
Benjamin C. Pierce
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.