Kenichi Asai Logical relations for call-by-value delimited continuations. 63-78 2005 conf/sfp/2005 Trends in Functional Programming db/conf/sfp/tfp2005.html#Asai05