Jean-Louis Giavitto, Olivier Michel
Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains
PPDP, 2001.
@inproceedings{PPDP-2001-GiavittoM, author = "Jean-Louis Giavitto and Olivier Michel", booktitle = "{Proceedings of the Third International Conference on Principles and Practice of Declarative Programming}", isbn = "1-58113-388-X", pages = "150--161", publisher = "{ACM}", title = "{Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains}", year = 2001, }