Logarithms of algebraic data types for property-based testing (2022)dl.acm.org3 pointsfanf2a year ago