Dependently typed programming with finite sets.

Denis Firsov Tarmo Uustalu

Published in: WGP@ICFP (2015)

Keyphrases

finite sets
piecewise linear
linearly separable
programming language
positive and negative examples
training data
domain knowledge
positive and negative