The article is very similar in spirit to my hit 2008 research paper "Forward Motion in Automobiles".
All kidding aside, he probably should have named the article "Static Type-checking in Lisp", and we would have still been just as unimpressed because he forgot to mention Qi; the single most innovative Lisp from the last 20 years.