Hacker News new | ask | show | jobs
by eru 5069 days ago
Or even just plain Hindley-Milner.