GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness

DOI10.1145/2784731.2784748zbMath1320.68008OpenAlexW2074096153MaRDI QIDQ2945524

No author found.

Publication date: 14 September 2015

Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Functional programming and lambda calculus (68N18) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (1)

Denotational semantics as a foundation for cost recurrence extraction for functional languages

Uses Software

• Coq
• Haskell

This page was built for publication: GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness