Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog How OCaml type checker works -- or what polymorphism and garbage collection have in common