TICL---a type inference system for Common Lisp (1990)

by K L Ma, R R Kessler
Venue:Software Practice and Experience