Philip Wadler's home page

https://homepages.inf.ed.ac.uk/wadler/

Dobbs, December 2000. Publications and Talks Recent papers Agda Links Plutus and IOHK Blame and contracts Call-by-value is dual to call-by-name XML GJ, Pizza, and Java Go Erlang M

The Insufficiency of Empiricism: Part I

https://arcaneknowledge.org/philtheo/empiricism.htm

be found in numerous publications and websites that include some variation of the word ‘skeptic’ in their title. Truth be told, this sort of skepticism is really dogma

That's everything I could find.
Help make me smarter by submitting a page.