Henry Blanchette, Niki Vazou, Leonidas Lampropoulos. Liquid proof macros. In Nadia Polikarpova, editor, Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022. pages 27-38, ACM, 2022. [doi]
Abstract is missing.