Hayo Thielecke From control effects to typed continuation passing. 139-149 2003 POPL http://doi.acm.org/10.1145/640128.604144 db/conf/popl/popl2003.html#Thielecke03