Implementing encapsulated search for a lazy functional logic language

DOI10.1007/10705424_7MaRDI QIDQ2766774zbMATH OpenFDO

Authors Wolfgang Lux

Publication date 22 July 2002

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

Full work available at URL https://doi.org/10.1007/10705424_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1420822
• Lazy narrowing with simplification
• scientific article; zbMATH DE number 5007864
• scientific article; zbMATH DE number 1543356
• Implementing functional logic languages using multiple threads and stores

Cited in

(6)

• Reporting failures in functional logic programs
• On a Tighter Integration of Functional and Logic Programming
• scientific article; zbMATH DE number 1543356 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 1420822 (Why is no real title available?)
• Programming with narrowing: a tutorial

Describes a project that uses

Uses Software

• Oz

This page was built for publication: Implementing encapsulated search for a lazy functional logic language

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