Venue. IFL Implementation and Application of Functional Languages · Conference 2023 What’s in a Bag?: An “Application Proving Interface” for Finite Bags and its Implementation dinges-2023-whatIFL · 2023 DOI