SMLserver: Documentation

Download | Documentation | Bugs | About

Home : Documentation

Documentation

A tutorial on programming dynamic Web applications with SMLserver is available:

Martin Elsman, Niels Hallenberg, and Carsten Varming. SMLserver - A Functional Approach to Web Publishing (Second Edition). IT University of Copenhagen, Denmark. April 2007. pdf, bibtex.

Presentations

Martin Elsman. Typing XHTML Web Applications in ML. Slides presented at PADL'04. pdf.
Niels Hallenberg. Web Programming with SMLserver. Slides presented at PADL'03. pdf.

Papers

Martin Elsman and Ken Friis Larsen. Typing XHTML Web Applications in ML. In International Symposium on Practical Aspects of Declarative Languages (PADL'04). Dallas, USA. June 2004. pdf, ps, ps.gz, bibtex.

Martin Elsman and Niels Hallenberg. Web Programming with SMLserver. In Fifth International Symposium on Practical Aspects of Declarative Languages (PADL'03). New Orleans, Louisiana, USA. January 2003. pdf, ps, ps.gz, bibtex.

Standard ML Resources

The MLKit implements most of the Standard ML Basis Library
MLKit documentation
comp.lang.ml FAQ
Stephen Gilmore's Programming in Standard ML'97

smlserver@itu.dk