3 ms·

Programming Language Foundations in Agda

• Shoue 8y ago
  Glad to see Philip Wadler as one of the authors here, he's known to write engaging papers.
  • space_junk 8y ago
    Wadler's very easily my favourite academic writer - not only because his interests coincide with mine, but his writing keeps being genuinely amusing!
    • auggierose 8y ago
      He actually does stand up comedy here in Edinburgh ...
    • pjmlp 8y ago
      Not only writing, his talks are also quite interesting to follow.