Read news on dependent types with our app.
Read more in the app
Dependent Types: Universes, or types of types
MCP tools with dependent types
The Lisp in the Cellar: Dependent types that live upstairs [pdf]
Ada's dependent types, and its types as a whole
