[Grace-core] Fwd: Comments welcome!

[Kim Bruce]

This should be highly relevant for Grace as we move into gradual typing. 

Kim

Sent from my iPad

Begin forwarded message:

> From: "Philip Wadler (Google+)" <noreply-e26b59cb at plus.google.com>
> Date: March 5, 2014 at 11:03:16 PM GMT+9
> To: kim at cs.pomona.edu
> Subject: Comments welcome!
> Reply-To: "Philip Wadler (Google+)" <noreply-e26b59cb at plus.google.com>
> 
> 
> 	
> Comments welcome!
> 
> Wadler's Blog: Blame, coercions, and threesomes, precisely
> We systematically present four calculi for gradual typing: the blame calculus of Wadler and Findler (2009); a novel c...
> 
> View or comment on Philip Wadler's post »
> Philip Wadler has shared this post with kim at cs.pomona.edu. Mute Philip Wadler to stop receiving notifications from him. Mute updates to this post. This notification was sent to kim at cs.pomona.edu; Go to your notification delivery settings to update your address. Manage subscriptions to change what emails you receive from Google+.
> You can't reply to this email. View the post to add a comment.
> Google Inc., 1600 Amphitheatre Pkwy, Mountain View, CA 94043 USA
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailhost.cecs.pdx.edu/pipermail/grace-core/attachments/20140309/364a59cb/attachment.html>