Typed functional query languages with equational specifications
Ken Q. Pu, Alberto O. Mendelzon
- Anthology ID:
- DBLP:conf/cikm/PuM05
- Volume:
- Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005
- Year:
- 2005
- Venue:
- cikm_conference
- Publisher:
- ACM
- Pages:
- 233–234
- URL:
- https://doi.org/10.1145/1099554.1099603
- DOI:
- 10.1145/1099554.1099603
- DBLP:
- conf/cikm/PuM05
