discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
The Lisp in the Cellar: Dependent types that live upstairs [pdf]
https://zenodo.org/records/15424968
19 comments
20/5/2025
Lobsters
The Lisp in the Cellar: Dependent Types that Live Upstairs
https://zenodo.org/records/15424968/files/deputy-els.pdf
0 comments
20/5/2025
clojure , pdf , plt
Reddit
The Lisp in the Cellar: Dependent types that live upstairs [pdf]
https://zenodo.org/records/15424968
0 comments
20/5/2025
programming