Oaklisp: an Object-Oriented Scheme with First Class Types.

Kevin J. Lang, Barak A. Pearlmutter

Browse the full OOPSLA paper archive.