Hacker News new | ask | show | jobs
by frutiger 24 days ago
Standard ML proved this 50 years ago.