3 ms·International Conference on Functional Programming (ICFP) 2020 – Accepted Papers4 points by matt_d 6y ago