Paper Info
Title
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.
Year
DOI
Venue
2004
10.1007/978-3-540-24836-1_16
Lecture Notes in Computer Science
Keywords
Field
DocType
type system
Programming language,Standard ML,Computer science,Type theory,XHTML,Typing,Web application,Type constructor,Operating system,Web server,The Internet
Conference
Volume
ISSN
Citations 
3057
0302-9743
16
PageRank 
References 
Authors
0.91
19
2
Name
Order
Citations
PageRank
Martin Elsman11269.90
Ken Friis Larsen2535.14