Ghostbuster

swMATH19981MaRDI QIDQ31804FDOQ31804

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?doid=2951913.2951914

Described by source

• Ghostbuster: a tool for simplifying and converting GADTs

Cited In (1)

• Ornaments for Proof Reuse in Coq

This page was built for software: Ghostbuster