Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Telescopes Are Tries: A Dependent Type Shellac on SQLite | Hey There Buddo!
https://www.philipzucker.com/telescope_tries/
links
backlinks
Tagged with:
databases
plt
formalmethods
Roast topics
Find topics
Find it!
It seems to me that telescopes https://ncatlab.org/nlab/show/type+telescope , the dependently typed notion of context, is more central to the topic of dependent types than the dependent types are.
