> And in the olden days (Before Haskell) there was: > > Kewley and Glynn1989 > J.M. Kewley and K. Glynn. > Evaluation Annotations for Hope+. > In Glasgow Workshop on Functional Programming, Workshops in Computing, > pages 329-337, Fraserburgh, Scotland, 1989. Springer-Verlag. Now read it. Seems to be exactly what I wanted. Thanks :-)) -Rob