Typed Lisp, A Primer. (Note that “Lisp refers to Common Lisp as supported by Emacs Lisp.”) #lisp