[plt-scheme] coroutine versus stream

Thanks very much.
Following your pointer, I downloaded Talcott's dissertation for free.
Jos

Internet is a maze, apparently for both suppliers and clients.
  ----- Original Message ----- 
  From: benderjg2 at aol.com 
  To: jos.koot at telefonica.net ; plt-scheme at list.cs.brown.edu 
  Sent: Sunday, April 19, 2009 6:28 PM
  Subject: Re: [plt-scheme] coroutine versus stream


  Jos,

  You may wish to have a look at Talcott's "Programming and Proving with Function and Control Abstractions", a set of lecture notes on "Rum" from 1986:
  http://blackforest.stanford.edu/clt/publications.html?name=talcott-89wix

  Whether it's worthwhile or not, Proquest/UMI is where I got a copy of Talcott's dissertation, several years ago. The 'right' entry point into their site for individuals to order dissertations is:
  http://disexpress.umi.com/

  But I do see that prices are substantially higher for shipment to Europe.

  Jim

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


  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 poi nt 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) 
  Jos 
   
  ----- 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 buy ing 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 
  &g t;> 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 
  >> 
  snip  
  _________________________________________________ 
   For list-related administrative tasks: 
   http://list.cs.brown.edu/mailman/listinfo/plt-scheme 



------------------------------------------------------------------------------
  Why pay full price? Check out this month's deals on the new AOL Shopping. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20090419/f98bcf5b/attachment.html>