Hindley–Milner, Wadler, and Java

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

Leave a Reply

Your email address will not be published. Required fields are marked *