Microsoft Certified Programming - Improve your bottom line with state of the art technology. These topics are cross-references. Aldor - A functional programming language in which types are first class values.
Normal functions returning types reproduce the features of template classes of other languages.
This site points to numerous projects around the world based on Aldor. Charity - Functional, categorical language, by University of Calgary, Canada. Edison - A library of Efficient Data Structures for functional languages. Extended ML - EML is a framework for specification and formal development of Standard ML programs. FISh - A novel functional language that claims to be faster than C in some cases.