Created on February 05, 2026
2026
I gave a talk on our recent work on intersection subtyping at the CHoCoLa meeting. Slides.