PhD defence: "Polymorphic type inference for dynamic languages "