[TYPES/announce] SIGPLAN Perspectives blog post about POPLmark panel

[Talia Ringer]

Hi all,

If you watched the POPLmark Retrospective Panel
<https://popl20.sigplan.org/track/POPL-2020-poplmark-15-year-retrospective-panel>
at POPL, you might enjoy this blog post
<https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/>
I wrote after the panel. If you did not catch the panel, you can find it on
YouTube <https://www.youtube.com/watch?v=2M2ZWNzpzkE>.

Thanks to all who came! Happy to hear your thoughts on anything from the
blog post (preferably as comments on the blog post itself).

Talia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200201/0fc560df/attachment.html>