January 5, 2024

Guannan’s paper on polymorphic reachability types will appear at POPL. Congrats to all the authors!