Functional logic design patterns

DOI10.1007/3-540-45788-7_4MaRDI QIDQ4409152zbMATH OpenFDO

Authors Sergio Antoy, Michael Hanus

Publication date 30 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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
• Patterns for Prolog programming
• scientific article; zbMATH DE number 4043306
• A logic for Miranda

Cited in

(11)

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

This page was built for publication: Functional logic design patterns

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