<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">This is something that we should consider submitting to. It appears to be a new conference, but with good people and good questions (and Asilomar is beautiful!)<div><br><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; "><div>Kim</div><div><br></div></span><br class="Apple-interchange-newline">
</div>
<div><br><div>Begin forwarded message:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; color:rgba(0, 0, 0, 1.0);"><b>From: </b></span><span style="font-family:'Helvetica';">"Philip Wadler (Google+)" <<a href="mailto:noreply-e26b59cb@plus.google.com">noreply-e26b59cb@plus.google.com</a>><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; color:rgba(0, 0, 0, 1.0);"><b>Subject: </b></span><span style="font-family:'Helvetica';"><b>Wadler's Blog: SNAPL</b><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; color:rgba(0, 0, 0, 1.0);"><b>Date: </b></span><span style="font-family:'Helvetica';">October 9, 2014 at 2:40:02 AM PDT<br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; color:rgba(0, 0, 0, 1.0);"><b>To: </b></span><span style="font-family:'Helvetica';"><a href="mailto:kim@cs.pomona.edu">kim@cs.pomona.edu</a><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; color:rgba(0, 0, 0, 1.0);"><b>Reply-To: </b></span><span style="font-family:'Helvetica';">"Philip Wadler (Google+)" <<a href="mailto:noreply-e26b59cb@plus.google.com">noreply-e26b59cb@plus.google.com</a>><br></span></div><br><div><!-- X-Notifications: 1:803997ac56000000 --><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=CJCC8Lujn8ECFSQPQQod_SoAmw&path=%2F100359591585949676427&dt=1412847602769&ub=21"><img width="75" height="75" style="border:solid 1px #cccccc;" src="https://lh5.googleusercontent.com/-OCLkbn2hDuM/AAAAAAAAAAI/AAAAAAAAMDw/Y8Y-aho3FNY/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"></div><div style="padding-left:11px;padding-right:5px;margin-top:14px;"><table cols="2" rows="1" width="100%"><tbody><tr><td rowspan="2"><a href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CJCC8Lujn8ECFSQPQQod_SoAmw&path=%2F100359591585949676427%2Fposts%2FE84j7KdKJeQ&dt=1412847602769&ub=21"><div style="background:#fff"><img src="https://lh5.googleusercontent.com/-OCLkbn2hDuM/AAAAAAAAAAI/AAAAAAAAMDw/Y8Y-aho3FNY/s220-p-k-a/photo.jpg" style="margin-left:auto;margin-right:auto;display:block;border:0; max-width:220px;max-height:220px;" alt="image not displayed"></div></a></td><td><table cols="1" rows="2" width="240" style="font-size:13px"><tbody><tr><td><a href="http://wadler.blogspot.com/2014/10/snapl.html" style="font-weight:bold">Wadler's Blog: SNAPL</a></td></tr><tr><td>SNAPL provides a biennial venue to focus on big-picture questions, long-running research programs, and experience reports in programming languages....</td></tr></tbody></table></td></tr></tbody></table></div><br><a href="https://plus.google.com/_/notifications/emlink?emr=17072890831279489959&emid=CJCC8Lujn8ECFSQPQQod_SoAmw&path=%2F100359591585949676427%2Fposts%2FE84j7KdKJeQ&dt=1412847602769&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=CJCC8Lujn8ECFSQPQQod_SoAmw&path=%2F100359591585949676427&dt=1412847602769&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=CJCC8Lujn8ECFSQPQQod_SoAmw&path=%2F100359591585949676427%2Fop%2Fmute&dt=1412847602769&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=CJCC8Lujn8ECFSQPQQod_SoAmw&path=%2F100359591585949676427%2Fposts%2FE84j7KdKJeQ%2Fop%2Fmute&dt=1412847602769&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=CJCC8Lujn8ECFSQPQQod_SoAmw&path=%2Fsettings%2Fplus&dt=1412847602769&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=CJCC8Lujn8ECFSQPQQod_SoAmw&path=%2Fsettings%2Fplus&dt=1412847602769&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=CJCC8Lujn8ECFSQPQQod_SoAmw&path=%2F100359591585949676427%2Fposts%2FE84j7KdKJeQ&dt=1412847602769&ub=21">View the post</a> to add a comment.<br>Google Inc., 1600 Amphitheatre Pkwy, Mountain View, CA 94043 USA<br></td><td style="padding:0px;"><img src="https://ssl.gstatic.com/s2/oz/images/notifications/logo/google-plus-6617a72bb36cc548861652780c9e6ff1.png"></td></tr></tbody></table></div></div></div></blockquote></div><br></div></body></html>