frege

Frege is a non-strict, pure functional programming language in the spirit of Haskell. Frege programs are compiled to Java and run in a JVM.