3 ms·How OCaml's type checker works - or what polymorphism and GC have in common4 points by mbrubeck 14y ago