Bag Interpretations: Issues, and Designs

Bag specs

The bag specs are in simpler-containers.re

Bag interpretations

The bag-to-seq interpretation is based on BAG-AS-SEQ in which bags are r epresented as equivalence classes of seqs equivalent under permutation. The interpretation and mediator are in bag-to-seq.re

SpecWeb Index

Interpretations