Get the latest tech news

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

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Lisp

Lisp

Photo of dependent types

dependent types

Related news:

On Lisp (1993)

Why I Program in Lisp

Beyond Traditional Pattern Matching in Lisp

« Amazon’s Zoox Expands Robotaxi Trials to Rival Turf in Atlanta

CRLF Injection in `–proxy-header` allows extra HTTP headers (CWE-93) »