Get the latest tech news

Dependent Types: Universes, or types of types

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of universes

universes

Photo of dependent types

dependent types

Related news:

MCP tools with dependent types

The Lisp in the Cellar: Dependent types that live upstairs [pdf]

Open and closed universes (2021)

« Trump administration taps RFK Jr. deputy as interim CDC director -- Jim O’Neill is a Silicon Valley investor and former CEO of the Thiel Foundation, funded by Trump donor Peter Thiel

Stellantis Shelves Level 3 Driver-Assistance Program »