Edsko de Vries. falsify: Internal Shrinking Reimagined for Haskell. In Trevor L. McDonell, Niki Vazou, editors, Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023. pages 97-109, ACM, 2023. [doi]
Abstract is missing.