Successor ML

This is the web page for discussion and documentation of designs for a successor to Standard ML.

Project Description

Successor ML is a working title for a potential new language in the ML/SML family. Principles guiding this effort are ... .

Successor ML wiki

A new Successor ML wiki has been created within this GitHub project for discussion of Successor ML design ideas. [Need link to new wiki. -dbm]

The URL now refers to the current page. The contents of the former site have been recovered and are available here.

Successor ML Definition Draft

The repository Successor ML contains the evolving draft definition of Successor ML, with its associated Wiki

Dave MacQueen
Last modified: Mon Apr 4 08:32:30 CDT 2016