Kodovani
Oaklisp
Oaklisp is a fast, portable, object-oriented Scheme with first class types.