Oaklisp: an Object-Oriented Scheme with First Class Types (1986)

by Kevin An And