scientific article; zbMATH DE number 1942452

MaRDI QIDQ4409152zbMATH OpenFDO

Authors Sergio Antoy, Michael Hanus

Publication date 30 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2441/24410067.htm

Mathematics Subject Classification ID

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

Recommendations

• Functional Logic Programming: From Theory to Curry
• Declarative Programming with Function Patterns
• scientific article; zbMATH DE number 1926613
• scientific article; zbMATH DE number 4043306
• A logic for Miranda

Cited in

(10)

• Declarative Programming with Function Patterns
• Declaring numbers
• scientific article; zbMATH DE number 2036335 (Why is no real title available?)
• Functional-Logic Graph Parser Combinators
• Compiling a functional logic language: \textit{The Fair Scheme}
• FUNCTIONAL PEARL Concurrent distinct choices
• scientific article; zbMATH DE number 1926613 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• Reporting failures in functional logic programs
• Default rules for Curry

This page was built for publication:

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