This is Robert Smith's presentation on Coalton, an efficient, statically typed functional programming language that supercharges Common Lisp.

Coalton homepage as of this recording: https://coalton-lang.github.io/