Kevin J. Lang Barak A. Pearlmutter Oaklisp: an Object-Oriented Scheme with First Class Types. 30-37 1986 OOPSLA db/conf/oopsla/oopsla86.html#LangP86