Date: Wed, 20 Nov 1991 10:15:43 -0500
>> From: Andrew.Pitts@cl.cam.ac.uk
>> Nevertheless I'd like to see them ...
>> generally does anyone have other references for treatments of
>> call-by-need using
>> structured operational semantics?
Jill Seaman and I have worked out an operational semantics of call-by-need
that captures sharing and the delayed evaluation involved in call-by-need.
We have also shown its equivalence to a standard denotational semantics.
Needless to say, the "non-compositional" nature of the rule for function
application complicates the equivalence proof. It is available from us
as a tech report (at Penn State).