Typing XHTML Web Applications in ML

Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type system guarantees that only conforming XHTML documents are sent to clients and that forms are used consistently and in a type-safe way. The type system is encoded in the type system of Standard ML using so-called phantom types.

• Type: Conference
• Year: 2004
• Where: PADL
• Authors: Martin Elsman, Ken Friis Larsen
• Keywords: PADL 2004, Programming Languages, Standard ML, Standard ML Scriptlets, Type System