Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] SIGPLAN Perspectives blog post about POPLmark ...

view this post on Zulip Email Gateway (Aug 23 2022 at 08:23):

From: Talia Ringer <tringer@cs.washington.edu>
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

Last updated: Apr 27 2024 at 01:05 UTC