Programming Language Theory
A collection of Programming Language Theory related articles/pages.
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features. It falls within the discipline of computer science, both depending on and affecting mathematics, software engineering, linguistics and even cognitive science. It is a well-recognized branch of computer science, and an active research area, with results published in numerous journals dedicated to PLT, as well as in general computer science and engineering publications. — Programming language theory — wikipedia
You can also use broader google searches for things like “programming language theory” or “programming language research”. Find a couple researchers in the field who do stuff you like and look into their work. (Simon Peyton-Jones, Phil Waller, Chris Lattner, Matthew Flatt come to mind from recent things I’ve looked at, but there are plenty more.) Find blogs and papers that you like and learn more about it. — from DonaldPShimoda
- Awesome CS Courses – PL and compilers
- COMS W4115 Programming Languages and Translators Lectured by Stephen A. Edwards, Note included.
- Cornell CIS Programming Languages
- CSCI1730 Introduction to Programming Languages