How OCaml's type checker works - or what polymorphism and GC have in commonokmij.org4 pointsmbrubeck13 years ago