A Proposal for Disequality Constraints in Curry

DOI10.1016/j.entcs.2007.01.014zbMath1279.68041OpenAlexW1991923545MaRDI QIDQ2873806

Emilio Jesús Gallego Arias, José María Rey Poza, Julio Mariño-Carballo

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.01.014

zbMATH Keywords

implementationdisequality constraintsCurrySloth

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Uses Software

• BABEL
• TOY

Cites Work

• Unnamed Item

This page was built for publication: A Proposal for Disequality Constraints in Curry