Oaklisp: an Object-Oriented Scheme with First Class Types


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


3 Figures and Tables

Slides referencing similar topics