November 14, 2024
Our paper ‘Dis/Equality Graphs’ accepted at POPL 2025, research track 🎉 Preprint coming soon.