<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>This should be highly relevant for Grace as we move into gradual typing. </div><div><br></div><div>Kim<br><br>Sent from my iPad</div><div><br>Begin forwarded message:<br><br></div><blockquote type="cite"><div><b>From:</b> "Philip Wadler (Google+)" <<a href="mailto:noreply-e26b59cb@plus.google.com">noreply-e26b59cb@plus.google.com</a>><br><b>Date:</b> March 5, 2014 at 11:03:16 PM GMT+9<br><b>To:</b> <a href="mailto:kim@cs.pomona.edu">kim@cs.pomona.edu</a><br><b>Subject:</b> <b>Comments welcome!</b><br><b>Reply-To:</b> "Philip Wadler (Google+)" <<a href="mailto:noreply-e26b59cb@plus.google.com">noreply-e26b59cb@plus.google.com</a>><br><br></div></blockquote><blockquote type="cite"><div><!-- X-Notifications: 1:8ebed93738000000 --><div style="border:solid 1px #dfdfdf;color:#686868;font:13px Arial"><div style="background-color:#fff;padding:20px;"><table cellpadding="0" cellspacing="0"><tbody><tr><td style="padding-right:15px;vertical-align:top"><a href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CKnd0NvH-7wCFa_yQgodLD8AAA&path=%2F100359591585949676427&dt=1394028196415&ub=21"><img width="75" height="75" style="border:solid 1px #cccccc;" src="https://lh5.googleusercontent.com/-OCLkbn2hDuM/AAAAAAAAAAI/AAAAAAAAAgo/ugIf41T_3Bw/s75-c-k-a-no/photo.jpg"></a></td><td style="width:578px;color:#333;font:13px Arial;vertical-align:top"><div style="padding-bottom:10px">Comments welcome!</div><div style="padding-left:11px;padding-right:5px;margin-top:14px"><table cols="2" rows="1" width="100%"><tbody><tr><td rowspan="2" width="120"><a href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CKnd0NvH-7wCFa_yQgodLD8AAA&path=%2F100359591585949676427%2Fposts%2FKhME1vnwiWC&dt=1394028196415&ub=21"><div style="background:#eee"><img src="https://lh4.googleusercontent.com/proxy/k_1WmIbdzQvkO3kn3gTB1OWaMNrDjwpTYNOW_Zqe4jKysD64GxLe1cPjHCdssaxbwhJBajdGWhfRJVVHS5VLtGs__zH2lViGHLtz1ncYQYZ0RQPUv6xc4hFFBezgxNIDk0mmp6nj44KixKaI=w120-h120" style="max-width:100%;margin-left:auto;margin-right:auto;display:block;border:0;" width="120" alt="image not displayed"></div></a></td><td><table cols="1" rows="2" width="100%"><tbody><tr><td><a href="http://wadler.blogspot.com/2014/03/blame-coercions-and-threesomes-precisely.html" style="font-weight:bold">Wadler's Blog: Blame, coercions, and threesomes, precisely</a></td></tr><tr><td>We systematically present four calculi for gradual typing: the blame calculus of Wadler and Findler (2009); a novel c...</td></tr></tbody></table></td></tr></tbody></table></div><br><a href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CKnd0NvH-7wCFa_yQgodLD8AAA&path=%2F100359591585949676427%2Fposts%2FKhME1vnwiWC&dt=1394028196415&ub=21" style="color:#3366CC;text-decoration:none">View or comment on Philip Wadler's post ยป</a></td></tr></tbody></table></div><div style="border-top:solid 1px #dfdfdf;padding:0 20px; background-color:#f5f5f5"><table cellpadding="0" cellspacing="0" style="height:50px"><tbody><tr><td style="vertical-align:middle;width:100%; color:#636363;font:11px Arial; line-height:120%"><a href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CKnd0NvH-7wCFa_yQgodLD8AAA&path=%2F100359591585949676427&dt=1394028196415&ub=21" style="{border: solid 1px #dfdfdf, footer: color:#999;font:11px Arial;margin:5px 0, gettingStartedTextTd: width:520px, gettingStartedImageTd: width:95px, heading: color:#464646;font-size:15px;font-weight:bold, sectionSpacing: 20px, subHeading: color:#464646;font-size:15px;line-height:1.5em, table: color:#666;font:13px Arial;line-height:1.4em}">Philip Wadler</a> has shared this post with <a href="mailto:kim@cs.pomona.edu">kim@cs.pomona.edu</a>. <a href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CKnd0NvH-7wCFa_yQgodLD8AAA&path=%2F100359591585949676427%2Fop%2Fmute&dt=1394028196415&ub=21" style="color:#3366CC;text-decoration:none">Mute Philip Wadler</a> to stop receiving notifications from him. <a href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CKnd0NvH-7wCFa_yQgodLD8AAA&path=%2Fnotifications%2Fall%2Fz12fxpvi4ujfy3hhh04ch5x51yyvs1s5mos0k%3Fmute%3Dz130s1lhcsjhcpsvj23djdcjrqy0i1gpa04&dt=1394028196415&ub=21" style="color:#3366CC;text-decoration:none">Mute</a> updates to this post. This notification was sent to <a href="mailto:kim@cs.pomona.edu">kim@cs.pomona.edu</a>; Go to your <a href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CKnd0NvH-7wCFa_yQgodLD8AAA&path=%2Fsettings%2Fplus&dt=1394028196415&ub=21" style="color:#3366CC;text-decoration:none">notification delivery settings</a> to update your address. <a href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CKnd0NvH-7wCFa_yQgodLD8AAA&path=%2Fsettings%2Fplus&dt=1394028196415&ub=21" style="color:#3366CC;text-decoration:none">Manage subscriptions</a> to change what emails you receive from Google+.<br>You can't reply to this email. <a style="color:#3366CC;text-decoration:none" href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CKnd0NvH-7wCFa_yQgodLD8AAA&path=%2F100359591585949676427%2Fposts%2FKhME1vnwiWC&dt=1394028196415&ub=21">View the post</a> to add a comment.<br>Google Inc., 1600 Amphitheatre Pkwy, Mountain View, CA 94043 USA<br></td><td><img src="https://ssl.gstatic.com/s2/oz/images/notifications/logo/google-plus-6617a72bb36cc548861652780c9e6ff1.png"></td></tr></tbody></table></div></div></div></blockquote></body></html>