scientific article; zbMATH DE number 1407673

zbMATH0944.68016MaRDI QIDQ4940928FDOQ4940928

Authors Puri Arenas-Sánchez, M. Rodríguez Artalejo

Publication date 26 September 2000

zbMATH Keywords

functional logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2048606
• Polymorphic types in functional logic programming
• scientific article; zbMATH DE number 1696583
• Algebraic semantics for functional logic programming with polymorphic order-sorted types
• Lazy narrowing with simplification

Cited in

(8)

• Polymorphic types in functional logic programming
• A Relation Algebraic Semantics for a Lazy Functional Logic Language
• A new generic scheme for functional logic programming with constraints
• Algebraic semantics for functional logic programming with polymorphic order-sorted types
• scientific article; zbMATH DE number 1678396 (Why is no real title available?)
• scientific article; zbMATH DE number 2048606 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 1696583 (Why is no real title available?)

Describes a project that uses

Uses Software

• BABEL

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 Q4940928)