Ghostbuster: a tool for simplifying and converting GADTs.

Trevor L. McDonell Timothy A. K. Zakian Matteo Cimini Ryan R. Newton

Published in: ICFP (2016)

Keyphrases

real time
data mining
real world
machine learning
genetic algorithm
search algorithm
preprocessing
analysis tool