Open and closed universes

How to write types that represent choices.
Read more →

The social consequences of type systems

Types are for people.
Read more →