Cayenne

A variant of the Haskell lazy functional programming language with dependent types.

This page is linked from: Type System