| Oct 9 2020 | Tutorial: Verify Haskell Programs with hs-to-coq |
| Aug 28 2020 | A Review of PLMW at ICFP 2020 |
| Jun 26 2020 | Strongly-typed System F in GHC |
| May 29 2020 | Testing your Tests |
| May 15 2020 | Welcome to the PL Club Blog! |
| May 15 2020 | R E S P E C T - Find Out What It Means To The Coq Standard Library |
| May 15 2020 | Defunctionalize the Continuation |