types-talk

This is the LaTeX source for a presentation on introductory type theory, type systems, and their relevance to the programming language Clojure.

The talk will be given on 2018-11-14 at ATA, LLC in Vienna, VA.