3 ms·I can't think of any from the top of my head. Perhaps looking at the proceedings of ICFP and POPL can help?by Yoric 4y agoI can't think of any from the top of my head. Perhaps looking at the proceedings of ICFP and POPL can help?