Oaklisp: an object-oriented scheme with first class types

Kevin J. Lang, Barak A. Peralmutter
1986 Conference proceedings on Object-oriented programming systems, languages and applications - OOPLSA '86  
The Scheme papers demonstrated that lisp could be made simpler and more expressive by elevating functions to the level of first class objects. Oaklisp shows that a message based language can derive similar benefits from having first class types.
doi:10.1145/28697.28701 dblp:conf/oopsla/LangP86 fatcat:jtp47jd2rvfhbfvrurfgqvhuwy