Typing XHTML Web Applications in ML

16 Citations (Scopus)

Translated title of the contribution	Typing XHTML Web Applications in ML
Original language	English
Title of host publication	International Symposium on Practical Aspects of Declarative Languages (PADL'04)
Publisher	Springer Science+Business Media
Publication date	1 Jun 2004
Publication status	Published - 1 Jun 2004
Externally published	Yes

Cite this

@inproceedings{99053589b7bf41c3a4c4dab06f61528a,

title = "Typing XHTML Web Applications in ML",

author = "Martin Elsman and Larsen, {Ken Friis}",

year = "2004",

month = jun,

day = "1",

language = "English",

booktitle = "International Symposium on Practical Aspects of Declarative Languages (PADL'04)",

publisher = "Springer Science+Business Media",

address = "Singapore",

}