<br>
<div class="gmail_quote">On Thu, Dec 10, 2009 at 12:27 PM, Shriram Krishnamurthi <span dir="ltr">&lt;<a href="mailto:sk@cs.brown.edu">sk@cs.brown.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">
<div class="im"> </div>I like to think that that is what I have tried to do in the types<br>section of PLAI (inspired heavily by Matthias&#39;s thinking on this<br>topic).  And I continue to revise and improve it along those lines.<br>
And I put it out for free on the Web to make it more easily accessible<br>to the Internet masses.  So I would certainly appreciate feedback on<br>ways in which PLAI fails.<br></blockquote>
<div>I will do that and get back to you.  Thanks Shriram.</div>
<div> </div>
<div>yc<br></div></div>