A multi-threaded functional programming language with dynamic symbol bindings which provides a state of art runtime engine for 32- and 64-bit platform and a rich set of platform independent libraries, compatible with C++ runtime operations, automatic ...
Functional language with inductive and coinductive types. Based on simply-typed lambda calculus augmented with sums, products, and mu and nu constructors for least (inductive) and greatest (coinductive) solutions to recursive type equations.