Dependently typed programming with finite sets

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

Abstract is missing.