Typing XHTML Web Applications in ML.

Martin Elsman, Ken Friis Larsen

Browse the full PADL paper archive.