Light mode
CS442
Principles of Programming Languages
Winter 2025
University of Waterloo
Homepage
Schedule
Outline
Course Notes
Assignments
Tools
Piazza
1
Recall from Module 2:
C
[(
λx.M
)
N
]
→
β
C
[
M
[
N∕x
]]
© Gregor Richards. | Design by
TEMPLATED
.