Thomas's votes on the list Blockchain Languages & VM Project

Listopia > Thomas's votes on the list Blockchain Languages & VM Project (17 Books)

1	Virtual Machines by Iain D. Craig 3.42 avg rating — 12 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
2	Advanced Compiler Design and Implementation by Steven S. Muchnick 3.91 avg rating — 93 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
3	Concepts, Techniques, and Models of Computer Programming by Peter Van Roy 4.11 avg rating — 245 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
4	Types and Programming Languages by Benjamin C. Pierce 4.28 avg rating — 587 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
5	Advanced Topics in Types and Programming Languages by Benjamin C. Pierce (editor) 3.98 avg rating — 50 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
6	Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design) by James E. Smith 3.93 avg rating — 28 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
7	The Garbage Collection Handbook: The Art of Automatic Memory Management (Chapman & Hall/CRC Applied Algorithms and Data Structures series) by Richard Jones 4.42 avg rating — 53 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
8	Advanced Design and Implementation of Virtual Machines by Xiao-Feng Li 3.50 avg rating — 4 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
9	Optimizing Compilers for Modern Architectures: A Dependence-based Approach by Randy Allen 4.43 avg rating — 21 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
10	Language, Proof and Logic by Jon Barwise 3.49 avg rating — 171 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
11	Compilers: Principles, Techniques, and Tools by Alfred V. Aho 4.10 avg rating — 3,023 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
12	A Computational Introduction to Number Theory and Algebra by Victor Shoup 3.73 avg rating — 22 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
13	Formal Semantics of Programming Languages by Glynn Winskel 3.67 avg rating — 33 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
14	Introduction to Mathematical Thinking by Keith Devlin 3.94 avg rating — 543 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
15	How to Prove It: A Structured Approach by Daniel J. Velleman 4.30 avg rating — 977 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
16	Purely Functional Data Structures by Chris Okasaki 4.14 avg rating — 669 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
17	Introduction to Algorithms by Thomas H. Cormen 4.35 avg rating — 9,294 ratings Thomas added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars