coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] SIGPLAN Perspectives blog post about POPLmark panel

From: Talia Ringer <tringer AT cs.washington.edu>
To: Coq-Club <coq-club AT inria.fr>, isabelle-users <isabelle-users AT cl.cam.ac.uk>, types-announce AT lists.seas.upenn.edu, users AT racket-lang.org
Subject: [Coq-Club] SIGPLAN Perspectives blog post about POPLmark panel
Date: Sat, 1 Feb 2020 17:32:46 -0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tringer AT cs.washington.edu; spf=None smtp.mailfrom=tringer AT cs.washington.edu; spf=None smtp.helo=postmaster AT mail-il1-f171.google.com
Ironport-phdr: 9a23:RMxBtRBwIkc1yefaSYQUUyQJP3N1i/DPJgcQr6AfoPdwSPX/ocbcNUDSrc9gkEXOFd2Cra4d16yK6Ou7AiRAuc/H7ClZNsQUFlcssoY/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+MAi6oR/eu8ULjoZuMKk8xxXGrnZGdeld2GdkKU6Okxrm6cq84ZBu/z5Mt/498sJLTLn3cbk/QbFEFjotLno75NfstRnNTAuP4mUTX2ALmRdWAAbL8Q/3UI7pviT1quRy1i+aPdbrTb8vQjSt871rSB7zhygZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5uzYIUPAeQPPvtWoZfhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB8wAv27QrNX0LqgZTPy7zKjOzTXMcfxWwyr25Y/UchA7oPGMW71wftTLyUQ0CwzFlU+cqIL/MDOO1uQNsm6b7+V8VeKojW4rsR9+rSWyxso1jITCm4wbylfB9SpjwYY1I8W1SFV6Yd6rCJtQszuVN41sTsMlWWFotz42y70BuZ6mYCgK1Y8oyADFZ/ObdIiI5xTuX/uSLzdgnH9pZq6zihKo/UWjyuDwTNS43VdLoyZfj9XBtG0B2hrO4cadUPR95F2u2TOX2gDT9O5EJUc0mLLeK5E7w74wkoMfsUXHHiPrgUn2grKae0c59uSy5OTnZbLmppCYN4BqkA3xLqMumsmnDeQ5NAgBQXSb9Pyi2LH/+UD1WrZHg/0snqXEsZ3XJN4XqrO7DgNIyooj7gywDzai0NQWh3kHK1dFdQqbj4jzOlHOJv/4Aumlg1m3jDhr3OrKP7P7DZXWLnjDkbHhfblh605bzgo/185Q6I9JCr0ZOvL8RlfxtMDEDh8+KwG73+HnCMxk2owCXWKPH7SWPbjJsV6I4+IvO/ODaJUUuDb7Mfgl5uThgWU3mV8HLuGV2s48b2n9NfB7KQ3Nan31x9wFDG0ivwwkTeWshkfUFXZSfH+4UqY463QmE4+8Fs+XR5ukirGF2Cr+A4ZbfHtuAVTKGn7tMYyPHeoPPmbaPt55nydBXL6nTJIn3hyGsA7h16EhNefd4WsFrZ/l0p546/CX3Qwp+CZvJ96U2GKAUyRwl2UHATgs0/NRu0t4n2uK1alxy8ZZE9Ne/bsdTh07M5HR1cRxEJbtUxnBf9GGVFGgBNiqHGdiHZoK39YSbhMlSJ2ZhRfZ0n/yWu5Hp/mwHJUxt5nk8T30Lsd5xWzB0fBw3VI9BNRGLm2ngKFj8A6VCoLUwR3AyvSaMJ8E1SuIz1+tiGqDuEYCDlx1WKTBGHEbPw7Y9IugoEzFSLCqBPIsNQ4TkZfeeJsPUcXgiBB9fNmmIM7XOjPjkHz2Gh+TxrKKY5btfSMQ0DiPUEU=

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).

Talia

[Coq-Club] SIGPLAN Perspectives blog post about POPLmark panel, Talia Ringer, 02/02/2020