Ghostbuster: A Tool for Simplifying and Converting GADTs Trevor L. McDonell1 Timothy A. K. Zakian2 1

First Page		Document Content
Date: 2016-08-26 11:49:49		Ghostbuster: A Tool for Simplifying and Converting GADTs Trevor L. McDonell1 Timothy A. K. Zakian2 1 Add to Reading List Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 390,66 KB Share Document on Facebook