Home > Author > Benjamin C. Pierce >

" 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 "

― Benjamin C. Pierce

← Prev Next →

Image for Quotes

Benjamin C. Pierce quote : Q: Why bother doing proofs about programming languages? They are almost always boring if the definitions are right.<br />A: The definitions are almost always wrong.<br /><br />- Anonymous
DOWNLOAD THE QUOTE IMAGE