Oaklisp, written by Kevin Lang and Barak Pearlmutter, is a fast
portable tasty object-oriented Scheme with first class types.

oaklisp is available via the WWW at http://www.cs.unm.edu/~bap/oaklisp/.