“…Programmatically, the J operator has been superseded by control operators that capture the current continuation (i.e., both C and D) instead of the continuation of the caller (i.e., D), even though it is simple to simulate escape and call/cc in terms of J. Yet as we have shown here, both the SECD machine and the J operator fit in the functional correspondence [3,4,6,7,13,16,30,31] as well as in the syntactic correspondence [12,14,15,29,31,40], which made it possible for us to mechanically characterize them in new and precise ways. 7 In turn it was Landin who, through the J operator, invented what we know today as first-class continuations [49].…”