4 ms·Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award)2 points by matt_d 1y ago