Hacker News new | ask | show | jobs
Compilers and Termination Revisited (blog.regehr.org)
11 points by bbb 5858 days ago