<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META http-equiv=Content-Type content="text/html; charset=utf-8"> <META content="MSHTML 6.00.6000.16825" name=GENERATOR> <STYLE></STYLE> </HEAD> <BODY bgColor=#ffffff> <DIV><FONT face="Courier New" size=2>Thanks very much.</FONT></DIV> <DIV><FONT face="Courier New" size=2>Following your pointer, I downloaded Talcott's dissertation for free.</FONT></DIV> <DIV><FONT face="Courier New" size=2>Jos</FONT></DIV> <DIV><FONT face="Courier New" size=2></FONT> </DIV> <DIV><FONT face="Courier New" size=2>Internet is a maze, apparently for both suppliers and clients.</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">benderjg2@aol.com</A> </DIV> <DIV style="FONT: 10pt arial"><B>To:</B> <A title=jos.koot@telefonica.net href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</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 6:28 PM</DIV> <DIV style="FONT: 10pt arial"><B>Subject:</B> Re: [plt-scheme] coroutine versus stream</DIV> <DIV><BR></DIV>Jos,<BR><BR>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:<BR><A href="http://blackforest.stanford.edu/clt/publications.html?name=talcott-89wix">http://blackforest.stanford.edu/clt/publications.html?name=talcott-89wix</A><BR><BR>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:<BR><A href="http://disexpress.umi.com/">http://disexpress.umi.com/</A><BR><BR>But I do see that prices are substantially higher for shipment to Europe.<BR><BR>Jim<BR><BR>-----Original Message-----<BR>From: Jos Koot <jos.koot@telefonica.net><BR>To: Matthias Felleisen <matthias@ccs.neu.edu><BR>Cc: plt-scheme@list.cs.brown.edu; Robby Findler <robby@eecs.northwestern.edu>; Jim Bender <benderjg2@aol.com><BR>Sent: Sun, 19 Apr 2009 10:05 am<BR>Subject: Re: [plt-scheme] coroutine versus stream<BR><BR> <DIV id=AOLMsgPart_0_bce97a75-f93b-48b3-9c35-8f3606b583f3 style="FONT-SIZE: 12px; MARGIN: 0px; COLOR: #000; FONT-FAMILY: Tahoma, Verdana, Arial, Sans-Serif; BACKGROUND-COLOR: #fff">Thanks for warning me, <BR>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. <BR>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. <BR> <BR>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) <BR> <BR>Any people on this list living near Barcelona ??? (for me near = +- within 300 km) <BR>I live in Mataró (in the northern part of the mediterranean coast of Spain) <BR>Jos <BR> <BR>----- Original Message ----- From: "Matthias Felleisen" <<A __removedLink__744533211__href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</A>> <BR>To: "Jos Koot" <<A __removedLink__744533211__href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</A>> <BR>Cc: "Robby Findler" <<A __removedLink__744533211__href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</A>>; "Jim Bender" <<A __removedLink__744533211__href="mailto:benderjg2@aol.com">benderjg2@aol.com</A>>; <<A __removedLink__744533211__href="mailto:plt-scheme@list.cs.brown.edu">plt-scheme@list.cs.brown.edu</A>> <BR>Sent: Sunday, April 19, 2009 4:20 PM <BR>Subject: Re: [plt-scheme] coroutine versus stream <BR> <BR>> <BR>> <BR>> 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 <BR>> <BR>> <BR>> <BR>> <BR>> <BR>> On Apr 19, 2009, at 5:25 AM, Jos Koot wrote: <BR>> <BR>>> Thanks, <BR>>> I have no account on that site, but I posted a question whether or not they do serve private persons too. <BR>>> As I am retired I have no access via an official institute. <BR>>> Thanks, again, Jos <BR>>> <BR>>> ----- Original Message ----- From: "Robby Findler" <<A __removedLink__744533211__href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</A>> <BR>>> To: "Jim Bender" <<A __removedLink__744533211__href="mailto:benderjg2@aol.com">benderjg2@aol.com</A>> <BR>>> Cc: "Jos Koot" <<A __removedLink__744533211__href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</A>>; <plt- <A __removedLink__744533211__href="mailto:scheme@list.cs.brown.edu">scheme@list.cs.brown.edu</A>>; "Matthias Felleisen" <<A __removedLink__744533211__href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</A>> <BR>>> Sent: Sunday, April 19, 2009 2:26 AM <BR>&g t;> Subject: Re: [plt-scheme] coroutine versus stream <BR>>> <BR>>> <BR>>> It looks like you can buy a copy here: <BR>>> <BR>>> <A target=_blank __removedLink__744533211__href="http://proquest.umi.com/pqdlink?did=752257391&Fmt=7&clientId">http://proquest.umi.com/pqdlink?did=752257391&Fmt=7&clientId</A> <BR>>> =79356&RQT=309&VName=PQD <BR>>> <BR>snip  <BR>_________________________________________________ <BR> For list-related administrative tasks: <BR> <A target=_blank __removedLink__744533211__href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</A> <BR></DIV> <DIV class=aol_ad_footer id=MAILCIAMB021-5c3749eb512b3cd><BR><FONT style="FONT: 10pt arial,san-serif; COLOR: black"> <HR style="MARGIN-TOP: 10px"> Why pay full price? <A href="http://shopping.aol.com/?ncid=emlweinstor00000002">Check out this month's deals on the new AOL Shopping</A>.</FONT> </DIV></BLOCKQUOTE></BODY></HTML>