@inproceedings{dinges-2023-what, series={IFL 2023}, title={What’s in a Bag?: An “Application Proving Interface” for Finite Bags and its Implementation}, url={http://dx.doi.org/10.1145/3652561.3652563}, DOI={10.1145/3652561.3652563}, booktitle={The 35th Symposium on Implementation and Application of Functional Languages}, publisher={ACM}, author={Dinges, Alexander and Hinze, Ralf}, year={2023}, month=Aug, pages={1–13}, collection={IFL 2023} }