Strong Static Type Checking for Functional Common Lisp [pdf]cs.utexas.edu5 pointspcr9103037 years ago