[plt-scheme] coroutine versus stream

From: Jos Koot (jos.koot at telefonica.net)
Date: Sun Apr 19 11:05:20 EDT 2009

Thanks for warning me,
Tomorrow I'll be in Barcelona (Spain) and have a look at the university library there, although I am not sure they have a strong 
department for informatics/mathematics.
Next week I'll be in the neighbourhood of Amsterdam and may have a look in the library of the CWI (Centrum for Mathematica and 
Informatica) Lot's of friendly people there wo can point me to the right documents. May be I can find time to visit some libraries 
of the the University of Amsterdam (where I did my studies in mathematics and physics and have worked as a researcher) Also a good 
opportunity to meet some former colleagues.

The matter interests me. Mathematical proof of equivalences would be interesting, although I always have trouble getting acquanted 
with unfamiliar notations. I also have this problem of not understanding a theorem and even not being able to use a theorem until I 
think "why did I not discover this myself?" (off topic I'm afraid)

Any people on this list living near Barcelona ??? (for me near = +- within 300 km)
I live in Mataró (in the northern part of the mediterranean coast of Spain)

----- Original Message ----- 
From: "Matthias Felleisen" <matthias at ccs.neu.edu>
To: "Jos Koot" <jos.koot at telefonica.net>
Cc: "Robby Findler" <robby at eecs.northwestern.edu>; "Jim Bender" <benderjg2 at aol.com>; <plt-scheme at list.cs.brown.edu>
Sent: Sunday, April 19, 2009 4:20 PM
Subject: Re: [plt-scheme] coroutine versus stream

> Sorry Jos but it's not worth buying this kind of document (I wouldn't  recommend buying my dissertation either). Go to the closest 
> university library (cs) and ask whether they can't get a copy for  you. It may take some time but it's your best bet. Also, 
> Carolyn's  treatment is formal, i.e., she develops a framework for proving  equivalences. (She likes baroque notation, btw.) If 
> you're interested  in the ideas only, she has pointers to even earlier suggestions on  how coroutines and streams relate --  
> Matthias
> On Apr 19, 2009, at 5:25 AM, Jos Koot wrote:
>> Thanks,
>> I have no account on that site, but I posted a question whether or  not they do serve private persons too.
>> As I am retired I have no access via an official institute.
>> Thanks, again, Jos
>> ----- Original Message ----- From: "Robby Findler"  <robby at eecs.northwestern.edu>
>> To: "Jim Bender" <benderjg2 at aol.com>
>> Cc: "Jos Koot" <jos.koot at telefonica.net>; <plt- scheme at list.cs.brown.edu>; "Matthias Felleisen" <matthias at ccs.neu.edu>
>> Sent: Sunday, April 19, 2009 2:26 AM
>> Subject: Re: [plt-scheme] coroutine versus stream
>> It looks like you can buy a copy here:
>> http://proquest.umi.com/pqdlink?did=752257391&Fmt=7&clientId
>> =79356&RQT=309&VName=PQD

Posted on the users mailing list.