Dependently typed programming with finite sets.

Denis Firsov, Tarmo Uustalu

Browse the full ICFP paper archive.