PhD defence: "Polymorphic type inference for dynamic languages " | Hacker News Reader