A typed representation for HTML and XML documents inHaskell. Journal of Functional Programming, 12(4 and 5):435-468, July 2002. [28] S. Vansummeren. Type inference for uniquepattern matching. http://alpha.luc.ac.be/ lucg5855/files/matchinfer.ps.gz (1988)

by P Thiemann
Venue:In Proc.of ESOP'88