Ghostbuster: a tool for simplifying and converting GADTs.

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

Browse the full ICFP paper archive.