Myths and Mythconceptions: What does it mean to be a programming language? (2021, HOPL) (via andyc) — discussion

#formalmethods #historical #plt #programming