Hacker News
- The Lisp in the Cellar: Dependent types that live upstairs [pdf] https://zenodo.org/records/15424968 19 comments
- The Lisp in the Cellar: Dependent types that live upstairs [pdf] https://zenodo.org/records/15424968 0 comments programming
Would you like to stay up to date with Lisp & Scheme? Checkout Lisp & Scheme
Weekly.
Related searches:
Search whole site: site:zenodo.org
Search title: The Lisp in the Cellar
See how to search.