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

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

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

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

88 points

a year ago

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

19 comments