scientific article; zbMATH DE number 1942452

zbMATH Open1019.68512MaRDI QIDQ4409152FDOQ4409152

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (10)

• Declaring numbers
• Title not available (Why is that?)
• Functional-Logic Graph Parser Combinators
• Compiling a functional logic language: \textit{The Fair Scheme}
• FUNCTIONAL PEARL Concurrent distinct choices
• Title not available (Why is that?)
• Functional Logic Programming: From Theory to Curry
• Reporting failures in functional logic programs
• Default rules for Curry
• Declarative Programming with Function Patterns

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)