Transformation f. Abstraktion

CPS[ (abs (i_1 ... i_n) b) ] =
(abs (k)
  (let ((i (abs (i_1 .. i_n c)
              (app CPS[b] c))))
    (app k i)))


Ü: Transformation für let



Johannes Waldmann 2012-01-30