Wadler on Logic and Programming

Four interesting papers by Phillip Wadler:

  • The unreasonable effectiveness of logic
  • As Natural as 0,1,2
  • From Frege to Gosling: 19’th century logic and 21’st century programming languages
  • Proofs are Programs: 19th Century Logic and 21st Century Computing

available on his history of logic and programming languages page. (Hat tip: Lambda the Ultimate)

Leave a Reply

Your email address will not be published. Required fields are marked *