Slide 1 6.001 SICP 1 Normal (Lazy) Order Evaluation Memoization Streams Slide 2 6.001 SICP 2 Normal Order (Lazy) Evaluation Alternative models for computation: Applicative…