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

by K J Lang, B A Pearlmutter
Venue:OOPSLA’86 Conference Proceedings