Bernd Braßel Michael Hanus Sebastian Fischer Frank Huch Germán Vidal Lazy call-by-value evaluation. 265-276 2007 conf/icfp/2007 ICFP http://doi.acm.org/10.1145/1291151.1291193 db/conf/icfp/icfp2007.html#BrasselHFHV07