Free theorems involving type constructor classes: functional pearl.

Janis Voigtländer

Published in: ICFP (2009)

Keyphrases

class labels
databases
case study
data structure
search algorithm
experimental data
conditional independence
functional analysis
digital topology