smlweb

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
http://sourceforge.net/projects/smlweb/files/latest/download

from http://sourceforge.net/projects/smlweb/