“…While this format has been an active topic of study [5,19,26,28,31,37,39,45,47,50,54,57,62], it also has been felt as a straightjacket both from a semantics point of view [19,20,22,23,34,35,58] and from a programming point of view [11,12,14,15], where one would like to relax the tail-call constraint and compose continuations.…”