Post #2669084

Next to PLDI, I will be giving a talk about this work at TYPES, and Henning Urbat will give one at CMCS, so keep your eyes peeled 👀. 8/8