Jean-Louis Giavitto, Olivier Michel. Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. pages 150-161, ACM, 2001.
Abstract is missing.