Gilles Richard, Frédéric Saubion, A. Tellez-Arenas
Intensional Sets Using Explicit Substitutions
ICFP, 1997.
@inproceedings{ICFP-1997-RichardST,
author = "Gilles Richard and Frédéric Saubion and A. Tellez-Arenas",
booktitle = "{Proceedings of the Second International Conference on Functional Programming}",
doi = "10.1145/258948.258987",
editor = "Simon L. Peyton Jones and Mads Tofte and A. Michael Berman",
isbn = "0-89791-918-1",
pages = "318",
publisher = "{ACM}",
title = "{Intensional Sets Using Explicit Substitutions}",
year = 1997,
}