3 ms·Declarative definition of group indexed data structures (2001) [pdf]1 points by haskellandchill 3y ago