How to make your papers run: Executable formal semantics for your language (2019) (via 5d22b) — discussion
#plt
