Proving type class laws for Haskell
From MaRDI portal
Publication:2151278
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
Functional programming and lambda calculus (68N18) Semirings (16Y60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
This page was built for publication: Proving type class laws for Haskell