Steven Shaw loves programming languages
Visit steshaw.org → On Hacker News Oct 2011 – Jul 2020
Programming Languages 2Society, Policy & Culture 1Software Engineering 1Math & Algorithms 1Tech Industry & Business 1
Robin Milner's type system with parametric polymorphism was a significant advance over the systems of Russell and Church. Arguably it is the ability to use type-variables that makes higher order logic a practical vehicle for proving non-trivial theorems. The Hindley-Milner algorithm is used to automatically infer…
Learning about Programming Language Theory can be a tough journey, particularly for programming practitioners who haven’t studied it formally. This resource is here to help. Please feel free to get in touch if you have ideas for improvement.