Counterexamples in type systems (2021)

2026-06-29 | original

read original more articles

collated by Stephen Dolan, with thanks to Andrej Bauer, Leo White and Jeremy Yallop

Explore topics: type systems stephen dolan andrej bauer leo white jeremy yallop