PLT by steshawProgramming Language Theory 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. 💡 Top Tips For a quick course in Type Theory, Philip Wadler recommends: Types and Programming Languages, Proofs and Types, follow
