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, }