You might want to check out "Unix system programming with Standard ML" by Shipman. The first half of the book covers the basics of SML and the Posix & C interfaces, and also discusses building a simple TCP client and server. The second half of the book is a larger project building a web server:

http://www.mlton.org/References.attachments/Shipman02.pdf

Sadly I don't. I have only used SML for theorem proving and formal transformations from initial axioms to code.

yeah it would be cool to explore some different domains with ml, outside the usual logic/fp thing