Typing XHTML web applications in SMLserver (2003)

by M Elsman, K F Larsen
Venue:Internal Project Report, CEC id. AC052/LMD/WP4/DS/S/004/b1, The Prospect Consortium