Typing XHTML Web Applications in ML (2004)

by M Elsman, K F Larsen
Venue:In Proceedings of the 6 th International Symposium on Practical Aspects of Declarative Languages