A strongly typed functional language belonging to the ML family