Ken Q. Pu, Alberto O. Mendelzon. Typed functional query languages with equational specifications. In Otthein Herzog, Hans-Jörg Schek, Norbert Fuhr, Abdur Chowdhury, Wilfried Teiken, editors, Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005. pages 233-234, ACM, 2005. [doi]
Abstract is missing.