Typed functional query languages with equational specifications.

Ken Q. Pu, Alberto O. Mendelzon

Browse the full CIKM paper archive.