Key ideas appreciating PL as a techincal field OS people cares only about dynamic system—build a good runtime/OS, etc. PL people cares only about static system—build a compiler, etc. think systematically about PL tools what we can do, what we can’t do, what will be able to do basics of active research in PL equal in expressive power SKI calculus Lambda calculus Turing machines Lectures SU-CS242 SEP242024 Combinator Calculus SU-CS242 SEP262024 SU-CS242 OCT012024 Lambda Calculus SU-CS242 OCT032024 SU-CS242 OCT102024 SU-CS242 OCT152024 SU-CS242 OCT172024 Objects SU-CS242 OCT242024 Programming Abstractions and Logic Programming SU-CS242 OCT312024 SU-CS242 NOV072024 SU-CS242 NOV142024 SU-CS242 NOV192024 Contravariance SU-CS242 NOV212024 SU-CS242 DEC032024