David Ungar Randall B. Smith 1-50 2007 conf/hopl/2007 HOPL http://doi.acm.org/10.1145/1238844.1238853 db/conf/hopl/hopl2007.html#UngarS07