Proving type class laws for Haskell

DOI10.1007/978-3-030-14805-8_4zbMath1495.68034arXiv1808.05789OpenAlexW2460592738MaRDI QIDQ2151278

Robin Touche, Moa Johansson, Andreas Arvidsson

Publication date: 1 July 2022

Full work available at URL: https://arxiv.org/abs/1808.05789

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semirings (16Y60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Extensional equality preservation and verified generic programming

This page was built for publication: Proving type class laws for Haskell