# Programming Language Theory The domain of [[Computer Science]] that studies [[Programming Languages]]. ## People - [[Shriram Krishnamurthi]] - [[Harold Abelson]] [[Gerald Jay Sussman]] - [[Lindsey Kuper]] - [[Guy Steele]] - [[Laurence Tratt]] ## Links A blog post about Notation in [[Programming Language Theory]], listed as prerequisite in [[Lindsey Kuper]]'s course on [[SAT SMT Solver]]s applied in PL. - [Jeremy Siek: Crash Course on Notation in Programming Language Theory](http://siek.blogspot.com/2012/07/crash-course-on-notation-in-programming.html) A video about [[Operational Semantics]]: - [03 Basic Mechanics of Operational Semantics - YouTube](https://www.youtube.com/watch?v=TU16mA5-i-g)