Goodreads helps you follow your favorite authors. Be the first to learn about new releases!
Start by following Benjamin C. Pierce.
Showing 1-2 of 2
“A type system can be regarded as calculating a kind of static approximation to the run-time behaviours of the terms in a program.”
― Types and Programming Languages
― Types and Programming Languages
“Q: Why bother doing proofs about programming languages? They are almost always boring if the definitions are right.
A: The definitions are almost always wrong.
- Anonymous”
―
A: The definitions are almost always wrong.
- Anonymous”
―
