CS 242: Programming Languages

Stanford course with 19 lecture notes.

Lecture Timeline

• 2024-09-24 — SU-CS242 SEP242024
• 2024-09-26 — SU-CS242 SEP262024
• 2024-10-01 — SU-CS242 OCT012024
• 2024-10-03 — SU-CS242 OCT032024
• 2024-10-08 — SU-CS242 OCT082024
• 2024-10-10 — SU-CS242 OCT102024
• 2024-10-15 — SU-CS242 OCT152024
• 2024-10-17 — SU-CS242 OCT172024
• 2024-10-22 — SU-CS242 OCT220224
• 2024-10-24 — SU-CS242 OCT242024
• 2024-10-31 — SU-CS242 OCT312024
• 2024-11-07 — SU-CS242 NOV072024
• 2024-11-12 — SU-CS242 NOV122024
• 2024-11-14 — SU-CS242 NOV142024
• 2024-11-19 — SU-CS242 NOV192024
• 2024-11-21 — SU-CS242 NOV212024
• 2024-12-03 — SU-CS242 DEC032024
• 2024-12-05 — SU-CS242 DEC052024

Other Notes

• PL Index

Key Topics Referenced

• Backtracing
• Combinator Calculus
• Confluence
• Lambda Calculus
• Loop Invariant
• Monad
• Predicates
• State
• Su Cs242 Dec032024
• Su Cs242 Nov072024
• Su Cs242 Nov142024
• Su Cs242 Nov192024
• Su Cs242 Nov212024
• Su Cs242 Oct012024
• Su Cs242 Oct032024
• Su Cs242 Oct102024
• Su Cs242 Oct152024
• Su Cs242 Oct172024
• Su Cs242 Oct242024
• Su Cs242 Oct312024
• Su Cs242 Sep242024
• Su Cs242 Sep262024
• Turing Machine
• Type Theory
• Typing
• Well Founded