<div dir="ltr"><div>I've been aware of her work for a little while - looks like a nice way of formalizing some of these ideas.<br><br></div>- Tim<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Oct 13, 2013 at 10:16 AM, Ben Clifford <span dir="ltr"><<a href="mailto:benc@hawaga.org.uk" target="_blank">benc@hawaga.org.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
>From the abstracts in the URL, this looks very similar to how I did (/do)<br>
regard the way that swift's single-write variables working when used for<br>
more than simple base types.<br>
<br>
<a href="http://lambda-the-ultimate.org/node/4823" target="_blank">http://lambda-the-ultimate.org/node/4823</a><br>
<br>
Looks like someone got round to getting their PhD doing it before I<br>
attempted it...<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
_______________________________________________<br>
Swift-devel mailing list<br>
<a href="mailto:Swift-devel@ci.uchicago.edu">Swift-devel@ci.uchicago.edu</a><br>
<a href="https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel" target="_blank">https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel</a><br>
</font></span></blockquote></div><br></div>