1. Ghostbuster: A tool for simplifying and converting GADTs. (22nd June 2018) Authors: ZAKIAN, TIMOTHY A. K.; MCDONELL, TREVOR L.; CIMINI, MATTEO; NEWTON, RYAN R. Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗