Counterexamples in type systems (2021)

2026-06-29 | original

read original get Type System Reference Book → 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