Lecture 23: Call by Name/Need

Notes for Lecture 23 are not yet available. The only required reading is textbook section 3-8 (pages 115-119).

The call-by-name interpreter for Lecture 23.

The call-by-need interpreter for Lecture 23.

Try testing both of them using the example on page 115:

   (run "let g = let count = 0
                   in proc () begin
                                set count = add1( count );
                                count
                              end
           in (proc (x) +(x, x) (g))")

Last updated at 9:54 am on Friday, August 27, 2004.