[TYPES] lazy evaluation

[Stephanie Weirich]

>
> ---------- Forwarded message ----------
> Date: Tue, 20 Jul 2010 06:51:09 +0100 (BST)
> From: Thomas Forster <tf at dpmms.cam.ac.uk>
> Subject: lazy evaluation
>
>
>   I have just been giving a talk on evaluation strategies to the  
> philosphers here (i'm in Canterbury, NZ) and one of the old-timers
> there suggested that lazy evaluation is first clearly described in
> Quine *Methods of Logic*. The edition i have is the British (RKP)
> edition of 1952, and there is indeed a discussion of lazy evaluation
> there - but not under that name of course. It on pp 26ff.
>
> Does anybody know of any earlier description of lazy evaluation than  
> this?
>
>         tf
>
> URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph: +44-1223-337981;
> Canterbury office fone: +64-3-3642987 x 8152
> Mobile in NZ +64-210580093.
> (UEA ph:  +44-1603-593588; mobile in UK +44-7887-701-562;)
>