nice.sourceforge.net

OO language based on, integrated with, Java (compiler emits Java bytecode); features of functional programming, implements state-of-art results from academic research, for more expressivity, modularity, safety. [Open source, GPL]