Typing XHTML Web Applications in ML

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]

@inproceedings{ElsmanL04,
  title = {Typing XHTML Web Applications in ML},
  author = {Martin Elsman and Ken Friis Larsen},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=224},
  tags = {web applications},
  researchr = {https://researchr.org/publication/ElsmanL04},
  cites = {0},
  citedby = {0},
  pages = {224-238},
  booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  editor = {Bharat Jayaraman},
  volume = {3057},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22253-7},
}