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