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

[todsacerdoti]

Downloadable: https://zenodo.org/records/15424968/files/deputy-els.pdf

---

Comments URL: https://news.ycombinator.com/item?id=44041515

Points: 50

# Comments: 7