William R. Cook 1-21 2007 conf/hopl/2007 HOPL http://doi.acm.org/10.1145/1238844.1238845 db/conf/hopl/hopl2007.html#Cook07