Denis Firsov, Tarmo Uustalu. Dependently typed programming with finite sets. In Patrick Bahr, Sebastian Erdweg, editors, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015. pages 33-44, ACM, 2015. [doi]
Abstract is missing.