Advanced Topics in Types and Programming Languages
A research collection exploring advanced type systems, semantics, and programming language theory for graduate students and researchers in computer science.
About This Book
Advanced Topics in Types and Programming Languages presents current research in type theory and programming languages.
The volume collects contributions from leading researchers in the field.
Topics include advanced type systems, semantics, and language design.
The book serves as a reference for graduate students and researchers.
Reviews
No reviews yet. Be the first to review this book!