24 Jun
                
                    2012
                
            
            
                24 Jun
                
                '12
                
            
            
            
        
    
                10:13 p.m.
            
        Hi all, I working through a few papers and Oleg's delimited continuation implementation and I'm wondering how the operators (shift, shift0P, control, reset, etc) got their name. -deech