SIGPLAN Perspectives blog post about POPLmark panel
Talia Ringer <[email protected]> Sat, 1 Feb 2020 17:32:46 -0800
| Newsgroups | gmane.comp.lang.racket.user,gmane.science.mathematics.logic.coq.club,gmane.comp.science.types.announce,gmane.lisp.scheme.plt |
|---|---|
| Message-ID | <CAP-V6gn0EU34RBg6pJRe3WRhnEuNn0NBsfVgZJ2yOkQK7UgBkg@mail.gmail.com> |
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 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected] To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAP-V6gn0EU34RBg6pJRe3WRhnEuNn0NBsfVgZJ2yOkQK7UgBkg%40mail.gmail.com.