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