November 13, 2025

Joseph’s paper on Boolean-Kinded Type Systems has been accepted to POPL 2026. Congratulations Joseph!