interpretation

Man kann den Lambda-Kalkül in Haskell interpretieren: %Vor% Wie könnte der obige Interpreter auf den Lambda-mu-Kalkül erweitert werden? Meine Vermutung ist, dass es Fortsetzungen für die Interpretation der zusätzlichen Konstrukte in diesem...