Cayenne

"Hotter than Haskell"

Lennart Augustsson, Chalmers University of Technology

A simple functional language with a powerful type system. Haskell-like syntax. The compiler is written in Haskell, and translates to LML[1].