semantic description of call-by-need

• To: Andrew.Pitts@cl.cam.ac.uk
• Subject: semantic description of call-by-need
• From: gunter@saul.cis.upenn.edu (Carl Gunter)
• Date: Tue, 19 Nov 91 16:29:09 EST
• Cc: types@theory.lcs.mit.edu, matthias@cs.rice.edu
• In-Reply-To: Matthias Felleisen's message of Tue, 19 Nov 91 13:38:15 EST <199111191838.AA14675@stork.lcs.mit.edu>
• Sender: meyer@theory.lcs.mit.edu

Date: Tue, 19 Nov 91 15:07:28 EST

A `natural' semantics for a form of call-by-need evaluation is
included in a paper recently written by Jawahar Chirimar, Jon Riecke
and me on a reference counting semantics for a language with a linear
type system.  The paper will soon be available as a Penn technical
report.  Although our semantics is for a linear system (in the -o, !
fragment) and includes reference counting, it does explicitly describe
the pointer manipulations used for the delayed evaluations of
call-by-need.

				--- carl

• Prev: Re: Some Proof Net References
• Next: Call-by-need rules
• Index(es):
  • Main
  • Thread