| Dec 7 2023 | Exploring Round-trip Properties in Property-based Testing |
| 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 15 2020 | Defunctionalize the Continuation |