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

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