space_junk's comments | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | space_junk's comments

space_junk on Aug 29, 2018 | parent | context [–] | on: Programming Language Foundations in Agda

Wadler's very easily my favourite academic writer - not only because his interests coincide with mine, but his writing keeps being genuinely amusing!

auggierose on Aug 29, 2018 | | [–]

He actually does stand up comedy here in Edinburgh ...

pjmlp on Aug 29, 2018 | | [–]

Not only writing, his talks are also quite interesting to follow.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact