A practitioner’s guide to reading programming languages papers
https://blog.acolyer.org/2018/01/26/a-practitioners-guide-to-reading-programming-languages-papers/ [blog.acolyer.org]
2018-02-02 22:34
Last week I jokingly said that POPL papers must pass an ‘intellectual intimidation’ threshold in order to be accepted. That’s not true of course, but it is the case that programming languages papers can look especially intimidating to the practitioner (or indeed, the academic working in a different sub-discipline of computer science!). They are full of dense figures with mathematical symbols, and phrases thrown around such as “judgements”, “operational semantics”, and the like.