Frank S. K. Silbermann, Bharat Jayaraman
Set Abstraction in Functional and Logic Programming
FPCA, 1989.
@inproceedings{FPCA-1989-SilbermannJ,
author = "Frank S. K. Silbermann and Bharat Jayaraman",
booktitle = "{Proceedings of the Fourth Conference on Functional Programming Languages and Computer Architecture}",
doi = "10.1145/99370.99398",
isbn = "0-201-51389-7",
pages = "313--326",
publisher = "{ACM Press}",
title = "{Set Abstraction in Functional and Logic Programming}",
year = 1989,
}