| Dec 7 2023 | Exploring Round-trip Properties in Property-based Testing |
| Sep 10 2021 | Formalizing Permutation Networks |
| Dec 4 2020 | Do we need nested datatypes? |
| Oct 9 2020 | Tutorial: Verify Haskell Programs with hs-to-coq |
| 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 |