Counterexamples in type systems (2021)

Counterexamples in Type SystemsIntroductionIndex and Glossary1. Polymorphic references2. Covariant containers3. Incomplete variance checking4. Objects under construction5. Curry's paradox6. Eventually, nothing7. Dubious evidence8. Some kinds of Anything9. Any (single) thing10. Mutable matching11. Runtime type misinformation12. Overloading and polymorphism13. Distinctness I: Injectivity14. Distinctness II: Recursion15. Distinctness III: Options16. Subtyping vs. inheritance17. Selfishness18. Priva