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