Get the latest tech news

Counterexamples in type systems (2021)


Type Systems Introduction Index and Glossary 1. Polymorphic references 2.

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Type Systems

Type Systems

Photo of Counterexamples

Counterexamples

Related news:

News photo

Type systems are leaky abstractions: the case of Map.take!/2

News photo

The Big Oops in type systems: This problem extends to FP as well

News photo

Moving Beyond Type Systems