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