Programming Language Foundations in Agda | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Programming Language Foundations in Agda (plfa.github.io)
		156 points by myth_drannon on Aug 29, 2018 \| hide \| past \| favorite \| 4 comments

Shoue on Aug 29, 2018 [–]

Glad to see Philip Wadler as one of the authors here, he's known to write engaging papers.

space_junk on Aug 29, 2018 | [–]

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