Oaklisp: an object-oriented scheme with first class types

Publisher Website
Google Scholar
Abstract
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.