<div dir="ltr">Thanks, I will.<div><br></div><div>R</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 23 October 2016 at 23:23, KC <span dir="ltr"><<a href="mailto:kc1956@gmail.com" target="_blank">kc1956@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">You may want to look at</p>
<p dir="ltr">Call-By-Push-Value<br>
A Functional/Imperative Synthesis<br>
By Springer </p>
<p dir="ltr">--<br>
--</p>
<p dir="ltr">Sent from an expensive device which will be obsolete in a few months! :D</p>
<p dir="ltr">Casey<br>
    </p>
<div class="gmail_extra"><br><div class="gmail_quote"><div><div class="h5">On Oct 22, 2016 5:19 AM, "Rik Howard" <<a href="mailto:rik@dcs.bbk.ac.uk" target="_blank">rik@dcs.bbk.ac.uk</a>> wrote:<br type="attribution"></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5"><div dir="ltr"><div>Dear Haskell Cafe Subscribers</div><div><br></div><div>on the recommendation of someone for whom I have great respect, I have just subscribed to this list, it having been suggested as being a good place for me to get feedback regarding a project that I have been working on.  I am humbled by the level of discussion and it feels to be a very bold step for me to request anybody's time for my words.</div><div><br></div><div>The linked document is a four-page work-in-progress summary: the length being stipulated, potential novelty being the other main requirement.  Given the requirements, the summary necessarily glosses over some details and is not yet, I fear, completely correct.  The conclusion is, more or less, the one at which I am aiming; the properties are, more or less, the ones that are needed.</div><div><br></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><a href="http://www.dcs.bbk.ac.uk/~rik/gallery/work-in-progress/document.pdf" target="_blank">http://www.dcs.bbk.ac.uk/~rik/<wbr>gallery/work-in-progress/docum<wbr>ent.pdf</a></div></blockquote><div><br></div><div>The work arises from an investigation into functional programming syntax and semantics.  The novelty seems to be there but there is too a question as to whether it is simply a gimmick.  I try to suggest that it is not but, by that stage, there have been many assumptions so it is hard to be sure whether the suggestion is valid.  If anyone has any comments, questions or suggestions, they would be gratefully received.</div><div><br></div><div>Yours sincerely</div><div>Rik Howard</div><div><br></div></div>
<br></div></div><span class="">______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-caf<wbr>e</a><br>
Only members subscribed via the mailman list are allowed to post.<br></span></blockquote></div></div>
</blockquote></div><br></div>