- Published Year: 2005
- Page count: 589
- File Size: 9 MB
- Language: English
- Published by: MIT Press
- Visited by: 20
- Rating/Review: 4.9
-
ISBN:
0262162288
9780262162289
Keywords:
تندتک
در این کانال تلگرام، مسعود بیگی، تجربیات خود را از دنیای تکنولوژی، استارتاپ، کارآفرینی و مدیریت فنی با شما به اشتراک می گذارد
Learn MoreAdvanced topics in types and programming languages
4.9
Reviews from our users
You Can Ask your questions from this book's AI after Login
Each download or ask from book AI costs 2 points. To earn more free points, please visit the Points Guide Page and complete some valuable actions.Related Refrences:
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.
Free Direct Download
Get Free Access to Download this and other Thousands of Books (Join Now)
