Ghostbuster: a tool for simplifying and converting GADTs

DOI10.1145/2951913.2951914MaRDI QIDQ2985783zbMATH OpenOpenAlexFDO

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

Publication date 10 May 2017

Published in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2951913.2951914

zbMATH Keywords

datatypesGADTsHaskell

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Foundations for structured programming with GADTs
• Dualizing generalized algebraic data types by matrix transposition
• A lean specification for gadts: System F with first-class equality proofs
• Ambivalent types for principal type inference with GADTs
• GADTs Meet Subtyping

Cited in

(5)

• Dualizing generalized algebraic data types by matrix transposition
• Ghostbuster
• Foundations for structured programming with GADTs
• Ornaments for Proof Reuse in Coq
• Characterizing functions mappable over GADTs

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Ghostbuster: a tool for simplifying and converting GADTs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985783)