[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
