Besser: Meta-Continuations

CPS[ (app f a1 ... an) ] =
(m-abs (K) 
  (m-app CPS[f] (m-abs (i_0) 
      ...
        (m-app CPS[an] (m-abs (i_n)
   ???     (app i_0 i_1 ... i_n k)))...)))))
ändere letzte Zeile in
(let ((i (abs (temp) K[temp]))) 
     (app i_0 .. i_n i))



2010-10-12