A Framework for Extended Algebraic Data Types
From MaRDI portal
Publication:3434624
DOI10.1007/11737414_5zbMath1185.68202MaRDI QIDQ3434624
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
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
68N18: Functional programming and lambda calculus
Uses Software