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