Hacker News new | ask | show | jobs
How the Ocaml type checker works | LTU (lambda-the-ultimate.org)
1 points by magnusjonsson 4842 days ago