/
Independent academic archive · Rights remain with the original publishers · Streamed via YouTube
Play15s30s1x0:00/--:--
DoneWatched
Expand
MIT·Eric Grimson
34:47
0:00/34:47
6:06
4:37
3:05
10:14
10:45
Procedures and Processes
Introduces the substitution model for evaluating expressions in functional programming, contrasting recursive and iterative procedures. It also covers formal methods for proving procedure correctness.
From MIT's legendary introductory computer science course, 6.001 Structure and Interpretation of Computer Programs (SICP), as taught by Prof. Eric Grimson in 2004.