Martin Elsman, Ken Friis Larsen. Typing XHTML Web Applications in ML. In Bharat Jayaraman, editor, Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings. Volume 3057 of Lecture Notes in Computer Science, pages 224-238, Springer, 2004. [doi]
Abstract is missing.