Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award)

2 points | by matt_d 15 hours ago