Reviews for Types for Proofs and Programs

The average rating for Types for Proofs and Programs based on 2 reviews is 3.5 stars.

Review # 1 was written on 2016-10-07 00:00:00 Kosta Apostolov This book is old and sweet. The principles of the compiler are very clearly explained with a working sample implementation of a compiler for a small language. I wish that Kenneth can update this great book to include the latest research results.

Review # 2 was written on 2014-06-27 00:00:00 Peter Sheen it is in my sylabbux