Advanced Topics in Types and Programming Languages
Advanced Topics in Types and Programming Languages is a focused computer science reference edited by Benjamin C. Pierce. It explores advanced material related to type systems and programming languages, offering a resource for readers engaged in higher-level study, teaching, or research in programming language theory.
About This Book
Advanced Topics in Types and Programming Languages examines sophisticated subjects at the intersection of type systems and programming languages.
Edited by Benjamin C. Pierce, the book is intended for readers pursuing a deeper understanding of programming language concepts.
Its focus makes it a suitable reference for advanced study, teaching, and research in computer science and programming.
Reviews
No reviews yet. Be the first to review this book!