Avgränsade fortsättningar är mer uttrycksfulla än traditionella abortiva fortsättningar och de verkar kräva en ram utöver traditionell fortsättnings-passerande stil (CPS). Vi visar att så inte är fallet: standard-KPS är tillräckligt för att förklara de gemensamma kontrolloperatörerna för avgränsade fortsättningar. Vi visar detta faktum och presenterar ett genomförande som ett programbibliotek. Vi undersöker sedan en maskinskriven redogörelse för avgränsade fortsättningar som gör det tydligt var kontrolleffekter kan uppstå. Detta resulterar i ett monadiskt ramverk för maskinskrivna och inkapslade avgränsade fortsättningar som vi designar och implementerar som ett Haskellbibliotek.
Ett CPS-baserat genomförande av kontrolloperatörer inom ett monadiskt ramverk har givits av Dyvbig et al Ref.
A monadic framework for delimited continuations
{'venue': 'IN PROC', 'journal': None, 'mag_field_of_study': ['Computer Science']}