doi dblp Typed functional query languages with equational specifications Ken Q. Pu | Alberto O. Mendelzon Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005