Name binding, Recursion, Iteration, and Continuations - slide 37 : 42 |
Context C and expression E | The continuation of E in C |
(+ 5 (* 4 3)) | (lambda (e) (+ 5 e)) |
(cons 1 (cons 2 (cons 3 '()))) | (lambda (e) (cons 1 (cons 2 (cons 3 e)))) |
(define x 5) (if (= 0 x) 'undefined (remainder (* (+ x 1) (- x 1)) x)) | (lambda (e) (remainder (* e (- x 1)) x)) |