Hindley–Milner, Wadler, and Java Here is a video of Philip Wadler talking about his (and others) history with logic and programming languages.
