Ghostbuster: A tool for simplifying and converting GADTs.
Saved in:
| Title: | Ghostbuster: A tool for simplifying and converting GADTs. |
|---|---|
| Authors: | ZAKIAN, TIMOTHY A. K.1 timothy.zakian@cs.ox.ac.uk, MCDONELL, TREVOR L.2 tmcdonell@cse.unsw.edu.au, CIMINI, MATTEO3 matteo_cimini@uml.edu, NEWTON, RYAN R.4 rrnewton@indiana.edu |
| Source: | Journal of Functional Programming. 2018, Vol. 28, pN.PAG-N.PAG. 50p. |
| Database: | Mathematics Source |
| ISSN: | 09567968 |
|---|---|
| DOI: | 10.1017/S0956796818000114 |
