Lecture overview -- Keyboard shortcut: 'u'  Previous page: The intuition behind continuations -- Keyboard shortcut: 'p'  Next page: The capturing of continuations -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Alphabetic index  Help page about these notes  Course home    Simulation of other Paradigms and Continuations - slide 26 : 43

Being more precise
We can form a lambda expression that to some degree represents a continuation
 

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))