Hindley–Milner, Wadler, and Java

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