Niki Vazou, Michael Greenberg 0002. How to safely use extensionality in Liquid Haskell. In Nadia Polikarpova, editor, Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022. pages 13-26, ACM, 2022. [doi]