Typing XHTML Web Applications in SMLserver (2003)
by
Martin Elsman
,
Ken Friis Larsen
| Venue: | Internal Project Report, CEC id. AC052/LMD/WP4/DS/S/004/b1, The Prospect Consortium |
| Citations: | 1 - 1 self |
BibTeX
@TECHREPORT{Elsman03typingxhtml,
author = {Martin Elsman and Ken Friis Larsen},
title = {Typing XHTML Web Applications in SMLserver},
institution = {Internal Project Report, CEC id. AC052/LMD/WP4/DS/S/004/b1, The Prospect Consortium},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper, we present a type system for typing Web applications in SMLserver, an e#cient multi-threaded Web server platform for Standard ML programs. The type system guarantees that only conforming XHTML documents are sent to clients and that the target scriptlets of client-submitted forms use form data consistently and in a type-safe way.
