<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.6000.16825" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face="Courier New" size=2>Thanks for the info,</FONT></DIV>
<DIV><FONT face="Courier New" size=2>I got a lot more relevant hits this time,
although most of them refer to rather old articles.</FONT></DIV>
<DIV><FONT face="Courier New" size=2>1986 is a long way back, but that does not
mean the articles are outdated, of course.</FONT></DIV>
<DIV><FONT face="Courier New" size=2>I saw some articles introducing the concept
of first class continuations. No longer new, of course, but may be interesting
from a historical point of view.</FONT></DIV>
<DIV><FONT face="Courier New" size=2>Thanks,</FONT></DIV>
<DIV><FONT face="Courier New" size=2>Jos</FONT></DIV>
<BLOCKQUOTE dir=ltr
style="PADDING-RIGHT: 0px; PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #000000 2px solid; MARGIN-RIGHT: 0px">
<DIV style="FONT: 10pt arial">----- Original Message ----- </DIV>
<DIV
style="BACKGROUND: #e4e4e4; FONT: 10pt arial; font-color: black"><B>From:</B>
<A title=benderjg2@aol.com href="mailto:benderjg2@aol.com">Jim Bender</A>
</DIV>
<DIV style="FONT: 10pt arial"><B>To:</B> <A title=jos.koot@telefonica.net
href="mailto:jos.koot@telefonica.net">Jos Koot</A> </DIV>
<DIV style="FONT: 10pt arial"><B>Cc:</B> <A title=matthias@ccs.neu.edu
href="mailto:matthias@ccs.neu.edu">Matthias Felleisen</A> ; <A
title=plt-scheme@list.cs.brown.edu
href="mailto:plt-scheme@list.cs.brown.edu">plt-scheme@list.cs.brown.edu</A>
</DIV>
<DIV style="FONT: 10pt arial"><B>Sent:</B> Sunday, April 19, 2009 12:23
AM</DIV>
<DIV style="FONT: 10pt arial"><B>Subject:</B> Re: [plt-scheme] coroutine
versus stream</DIV>
<DIV><BR></DIV>
<DIV>I believe the reference is to Carolyn Talcott's dissertation "The essence
of Rum: A theory of intensional and extensional aspects of Lisp-type
computation". Stanford, 1986. Unfortunately this is not available online, as
far as I know.</DIV>
<DIV><BR></DIV>
<DIV>Jim<BR><BR>Sent from my iPhone</DIV>
<DIV><BR>On Apr 18, 2009, at 4:54 PM, "Jos Koot" <<A
href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</A>>
wrote:<BR><BR></DIV>
<DIV></DIV>
<BLOCKQUOTE type="cite">
<DIV>
<DIV><FONT face="Courier New" size=2>Thanks, Matthias,</FONT></DIV>
<DIV><FONT face="Courier New" size=2>I did a quick search for Talcott 1986,
but got so many hits relevevant info is hidden like a leaf on a sound
tree.</FONT></DIV>
<DIV><FONT face="Courier New" size=2>Can you be more specific?
Thanks</FONT></DIV>
<DIV><FONT face="Courier New" size=2>Jos</FONT></DIV>
<BLOCKQUOTE
style="PADDING-RIGHT: 0px; PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #000000 2px solid; MARGIN-RIGHT: 0px">
<DIV style="FONT: 10pt arial">----- Original Message ----- </DIV>
<DIV
style="BACKGROUND: #e4e4e4; FONT: 10pt arial; font-color: black"><B>From:</B>
<A title=matthias@ccs.neu.edu href="mailto:matthias@ccs.neu.edu">Matthias
Felleisen</A> </DIV>
<DIV style="FONT: 10pt arial"><B>To:</B> <A title=jos.koot@telefonica.net
href="mailto:jos.koot@telefonica.net">Jos Koot</A> </DIV>
<DIV style="FONT: 10pt arial"><B>Cc:</B> <A
title=plt-scheme@list.cs.brown.edu
href="mailto:plt-scheme@list.cs.brown.edu"><A
href="mailto:plt-scheme@list.cs.brown.edu">plt-scheme@list.cs.brown.edu</A></A>
</DIV>
<DIV style="FONT: 10pt arial"><B>Sent:</B> Saturday, April 18, 2009 11:43
PM</DIV>
<DIV style="FONT: 10pt arial"><B>Subject:</B> Re: [plt-scheme] coroutine
versus stream</DIV>
<DIV><BR></DIV>
<DIV><BR></DIV>
<DIV>It is indeed a well-known fact that streams and coroutines are two
sides of the same coin. Talcott's 1986 dissertation is the earliest
theoretical treatment that I know. -- Matthias</DIV>
<DIV><BR></DIV>
<DIV><BR></DIV><BR>
<DIV>
<DIV>On Apr 18, 2009, at 5:38 PM, Jos Koot wrote:</DIV><BR
class=Apple-interchange-newline>
<BLOCKQUOTE type="cite">
<DIV><FONT face="Courier New" size=2>
<DIV><FONT face="Courier New" size=2>It seems to me that in many cases
the same problem can be solved (for an eager evaluater) both by
coroutines and by streams. Both solutions very well show the structure
of the principal algorithm as might have been written with a lazy
evaluator in mind. Which approach would be preferred in terms of
efficiency (time and memory). May be you would like to address other
aspects as well. One reason that makes me tend to choose streams, is
that the latter seem better suited to automatic code generation from
purely lazy code.</FONT></DIV>
<DIV><FONT face="Courier New" size=2>Thanks,
Jos</FONT></DIV></FONT></DIV>
<DIV
style="MARGIN: 0px">_________________________________________________</DIV>
<DIV style="MARGIN: 0px"><SPAN class=Apple-converted-space>
</SPAN>For list-related administrative tasks:</DIV>
<DIV style="MARGIN: 0px"><SPAN class=Apple-converted-space>
</SPAN><A href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme"><A
href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</A></A></DIV></BLOCKQUOTE></DIV><BR></BLOCKQUOTE></DIV></BLOCKQUOTE>
<BLOCKQUOTE type="cite">
<DIV><SPAN>_________________________________________________</SPAN><BR><SPAN> For
list-related administrative tasks:</SPAN><BR><SPAN> <A
href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme"><A
href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</A></A></SPAN><BR></DIV></BLOCKQUOTE></BLOCKQUOTE></BODY></HTML>