John M. Kewley Kevin Glynn Evaluation Annotations for Hope<sup>+</sup>. 329-337 1989 conf/fp/1989 Functional Programming db/conf/fp/fp1989.html#KewleyG89