The essence of XML (2003)

by J Simeon, P Wadler
Venue:In POPL ’03: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages