Typed functional query languages with equational specifications.

@inproceedings{pu-2005-typed, author = {Ken Q. Pu and Alberto O. Mendelzon}, editor = {Otthein Herzog and Hans-J\"{o}rg Schek and Norbert Fuhr and Abdur Chowdhury and Wilfried Teiken}, title = {{Typed functional query languages with equational specifications}}, booktitle = {{Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005}}, pages = {233--234}, publisher = {ACM}, year = {2005}, url = {https://doi.org/10.1145/1099554.1099603}, doi = {https://doi.org/10.1145/1099554.1099603} }