Read news on typed oop with our app.
Read more in the app
Deriving Dependently-Typed OOP from First Principles
