Hacker News new | ask | show | jobs
by YorkshireSeason 2941 days ago
Whoops, forgot to link to _Concrete Semantics_.

[2] http://www.concrete-semantics.org