The DUML project is 3 sub-projects: 1) Document Update Markup Language (DUML) which allows for updates of the DOM via server markup 2) Interpreted Application Markup Language (IAML) which provides markup based widgets. 3) A set of common libraries (JAS).
Tools for developing dynamic web sites
using the Standard ML programming language, including all the software you need to create PHP-style web sites with type-safe, statically checked page generation