3 ms·International Conference on Functional Programming (ICFP) 2023 Accepted Papers2 points by matt_d 3y ago