Loading
RefHub
Cover of Advanced topics in types and programming languages

Book guide and evaluation

Advanced topics in types and programming languages

Benjamin C. Pierce

English Intermediate Programming Languages
4.9 / 5

0 reviews

2005

Published

589

pages

368

views

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 introducti

Before you read

What will you get from this book?

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.

Ask this book

Your question is answered in the context of this title and author. Each answer uses 2 points.

Sign in to ask the book assistant.

Reader reviews

0 reviews, 4.9 average out of 5

No reviews yet

If you have read this book, help the next reader with your experience.

Write a review

Sign in to publish a review.

Reader questions and answers

Ask a focused question and learn from the community.

Sign in to ask or answer a question.

No questions yet

Be the first to ask a clear, useful question.