Hacker News new | ask | show | jobs
by vicaya 2497 days ago
3. "What's the best way to specify computation?" covered by programming language and compiler books.