The compile-time type inference and type checking of Common Lisp programs: a technical summary (1988)

by Randall D Beer
Venue:Ctr. for Automation and Intelligent Sys. Research, Case Western Reserve Univ