Declaring numbers

DOI10.1016/J.ENTCS.2008.06.037MaRDI QIDQ5403480zbMATH OpenOpenAlexFDO

Authors Bernd Braßel, Sebastian Fischer, Frank Huch

Publication date 26 March 2014

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

numbersfunctional logic languagesimplementation techniques

Mathematics Subject Classification ID

Data structures (68P05) Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1692898
• Functional Logic Programming: From Theory to Curry
• Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
• scientific article; zbMATH DE number 1630028
• Declarative Programming with Function Patterns

Cites work

• scientific article; zbMATH DE number 1942452 (Why is no real title available?)
• Declarative Programming with Function Patterns
• The integration of functions into logic programming: From theory to practice

Cited in

(3)

• Programming with narrowing: a tutorial
• From Logic to Functional Logic Programs
• Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)

Describes a project that uses

Uses Software

• PAKCS
• Haskell

This page was built for publication: Declaring numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403480)