[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / wiki/courses/cs242.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "CS 242: Programming Languages" type: course-overview source-count: 19 status: active confidence: high --- # CS 242: Programming Languages Stanford course with 19 lecture notes. ## Lecture Timeline - **2024-09-24** — [SU-CS242 SEP242024](../raw/course/cs242/kbhsu_cs242_sep242024.md) - **2024-09-26** — [SU-CS242 SEP262024](../raw/course/cs242/kbhsu_cs242_sep262024.md) - **2024-10-01** — [SU-CS242 OCT012024](../raw/course/cs242/kbhsu_cs242_oct012024.md) - **2024-10-03** — [SU-CS242 OCT032024](../raw/course/cs242/kbhsu_cs242_oct032024.md) - **2024-10-08** — [SU-CS242 OCT082024](../raw/course/cs242/kbhsu_cs242_oct082024.md) - **2024-10-10** — [SU-CS242 OCT102024](../raw/course/cs242/kbhsu_cs242_oct102024.md) - **2024-10-15** — [SU-CS242 OCT152024](../raw/course/cs242/kbhsu_cs242_oct152024.md) - **2024-10-17** — [SU-CS242 OCT172024](../raw/course/cs242/kbhsu_cs242_oct172024.md) - **2024-10-22** — [SU-CS242 OCT220224](../raw/course/cs242/kbhsu_cs242_oct220224.md) - **2024-10-24** — [SU-CS242 OCT242024](../raw/course/cs242/kbhsu_cs242_oct242024.md) - **2024-10-31** — [SU-CS242 OCT312024](../raw/course/cs242/kbhsu_cs242_oct312024.md) - **2024-11-07** — [SU-CS242 NOV072024](../raw/course/cs242/kbhsu_cs242_nov072024.md) - **2024-11-12** — [SU-CS242 NOV122024](../raw/course/cs242/kbhsu_cs242_nov122024.md) - **2024-11-14** — [SU-CS242 NOV142024](../raw/course/cs242/kbhsu_cs242_nov142024.md) - **2024-11-19** — [SU-CS242 NOV192024](../raw/course/cs242/kbhsu_cs242_nov192024.md) - **2024-11-21** — [SU-CS242 NOV212024](../raw/course/cs242/kbhsu_cs242_nov212024.md) - **2024-12-03** — [SU-CS242 DEC032024](../raw/course/cs242/kbhsu_cs242_dec032024.md) - **2024-12-05** — [SU-CS242 DEC052024](../raw/course/cs242/kbhsu_cs242_dec052024.md) ## Other Notes - [PL Index](../raw/course/cs242/kbhsu_cs242.md) ## 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]]