Programming language semantics: It’s easy as 1,2,3 (via dpk) — discussion

#pdf #plt