´╗┐<!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&nbsp;dissertation for free.</FONT></DIV>
<DIV><FONT face="Courier New" size=2>Jos</FONT></DIV>
<DIV><FONT face="Courier New" size=2></FONT>&nbsp;</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&nbsp;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 
  &lt;jos.koot@telefonica.net&gt;<BR>To: Matthias Felleisen 
  &lt;matthias@ccs.neu.edu&gt;<BR>Cc: plt-scheme@list.cs.brown.edu; Robby 
  Findler &lt;robby@eecs.northwestern.edu&gt;; Jim Bender 
  &lt;benderjg2@aol.com&gt;<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,&nbsp;<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.&nbsp;<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.&nbsp;<BR>&nbsp;<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)&nbsp;<BR>&nbsp;<BR>Any people on this list living near 
  Barcelona ??? (for me near = +- within 300 km)&nbsp;<BR>I live in Matar├│ (in 
  the northern part of the mediterranean coast of 
  Spain)&nbsp;<BR>Jos&nbsp;<BR>&nbsp;<BR>----- Original Message ----- From: 
  "Matthias Felleisen" &lt;<A 
  __removedLink__744533211__href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</A>&gt;&nbsp;<BR>To: 
  "Jos Koot" &lt;<A 
  __removedLink__744533211__href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</A>&gt;&nbsp;<BR>Cc: 
  "Robby Findler" &lt;<A 
  __removedLink__744533211__href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</A>&gt;; 
  "Jim Bender" &lt;<A 
  __removedLink__744533211__href="mailto:benderjg2@aol.com">benderjg2@aol.com</A>&gt;; 
  &lt;<A 
  __removedLink__744533211__href="mailto:plt-scheme@list.cs.brown.edu">plt-scheme@list.cs.brown.edu</A>&gt;&nbsp;<BR>Sent: 
  Sunday, April 19, 2009 4:20 PM&nbsp;<BR>Subject: Re: [plt-scheme] coroutine 
  versus stream&nbsp;<BR>&nbsp;<BR>&gt;&nbsp;<BR>&gt;&nbsp;<BR>&gt; 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 &gt; 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, &gt; Carolyn's treatment is formal, i.e., she develops a 
  framework for proving equivalences. (She likes baroque notation, btw.) If &gt; 
  you're interested in the ideas only, she has pointers to even earlier 
  suggestions on how coroutines and streams relate -- &gt; 
  Matthias&nbsp;<BR>&gt;&nbsp;<BR>&gt;&nbsp;<BR>&gt;&nbsp;<BR>&gt;&nbsp;<BR>&gt;&nbsp;<BR>&gt; 
  On Apr 19, 2009, at 5:25 AM, Jos Koot wrote:&nbsp;<BR>&gt;&nbsp;<BR>&gt;&gt; 
  Thanks,&nbsp;<BR>&gt;&gt; I have no account on that site, but I posted a 
  question whether or not they do serve private persons too.&nbsp;<BR>&gt;&gt; 
  As I am retired I have no access via an official institute.&nbsp;<BR>&gt;&gt; 
  Thanks, again, Jos&nbsp;<BR>&gt;&gt;&nbsp;<BR>&gt;&gt; ----- Original Message 
  ----- From: "Robby Findler" &lt;<A 
  __removedLink__744533211__href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</A>&gt;&nbsp;<BR>&gt;&gt; 
  To: "Jim Bender" &lt;<A 
  __removedLink__744533211__href="mailto:benderjg2@aol.com">benderjg2@aol.com</A>&gt;&nbsp;<BR>&gt;&gt; 
  Cc: "Jos Koot" &lt;<A 
  __removedLink__744533211__href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</A>&gt;; 
  &lt;plt- <A 
  __removedLink__744533211__href="mailto:scheme@list.cs.brown.edu">scheme@list.cs.brown.edu</A>&gt;; 
  "Matthias Felleisen" &lt;<A 
  __removedLink__744533211__href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</A>&gt;&nbsp;<BR>&gt;&gt; 
  Sent: Sunday, April 19, 2009 2:26 AM&nbsp;<BR>&amp;g t;&gt; Subject: Re: 
  [plt-scheme] coroutine versus 
  stream&nbsp;<BR>&gt;&gt;&nbsp;<BR>&gt;&gt;&nbsp;<BR>&gt;&gt; It looks like you 
  can buy a copy here:&nbsp;<BR>&gt;&gt;&nbsp;<BR>&gt;&gt; <A target=_blank 
  __removedLink__744533211__href="http://proquest.umi.com/pqdlink?did=752257391&amp;Fmt=7&amp;clientId">http://proquest.umi.com/pqdlink?did=752257391&amp;Fmt=7&amp;clientId</A>&nbsp;<BR>&gt;&gt; 
  =79356&amp;RQT=309&amp;VName=PQD&nbsp;<BR>&gt;&gt;&nbsp;<BR>snip 
  &nbsp;<BR>_________________________________________________&nbsp;<BR>&nbsp;For 
  list-related administrative tasks:&nbsp;<BR>&nbsp;<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>&nbsp;<BR></DIV><!-- end of AOLMsgPart_0_bce97a75-f93b-48b3-9c35-8f3606b583f3 -->
  <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>