A Framework for Extended Algebraic Data Types
From MaRDI portal
Publication:3434624
DOI10.1007/11737414_5zbMath1185.68202OpenAlexW1489195191MaRDI QIDQ3434624
Jeremy Wazny, Martin Sulzmann, Peter J. Stuckey
Publication date: 2 May 2007
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11737414_5
Related Items
Constraint handling rules with binders, patterns and generic quantification, A lean specification for gadts: System F with first-class equality proofs, <scp>OutsideIn(X)</scp>Modular type inference with local assumptions, Language-Based Program Verification via Expressive Types, Free Theorems and Runtime Type Representations
Uses Software
