Parametric polymorphism for XML (2005)

by H Hosoya, A Frisch, G Castagna
Venue:In POPL ’05, 32nd ACM Symposium on Principles of Programming Languages