Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell. Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. In Nadia Polikarpova, editor, Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022. pages 108-122, ACM, 2022. [doi]
Abstract is missing.