SIGPLAN Perspectives blog post about POPLmark panel

22 views

Skip to first unread message

unread,

Feb 1, 2020, 8:33:01 PM2/1/20

to Coq-Club, isabelle-users, types-a...@lists.seas.upenn.edu, us...@racket-lang.org

Hi all,

If you watched the POPLmark Retrospective Panel at POPL, you might enjoy this blog post I wrote after the panel. If you did not catch the panel, you can find it on YouTube.

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