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

by K J Lang, B A Pearlmutter
Venue:In OOPSLA ’86 Conference Proceedings. Published as SIGPLAN Notices