scientific article; zbMATH DE number 2048606

MaRDI QIDQ4452630zbMATH OpenFDO

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

Publication date 1 March 2004

zbMATH Keywords

algebraic data constructorlazy narrowing

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Publication:4940928
• scientific article; zbMATH DE number 1696583
• Polymorphic types in functional logic programming
• Algebraic semantics for functional logic programming with polymorphic order-sorted types
• Constraint functional logic programming revisited

Cited in

(9)

• Polymorphic types in functional logic programming
• scientific article; zbMATH DE number 1696583 (Why is no real title available?)
• Comparing Meseguer's rewriting logic with the logic CRWL
• Algebraic semantics for functional logic programming with polymorphic order-sorted types
• A Relation Algebraic Semantics for a Lazy Functional Logic Language
• scientific article; zbMATH DE number 1332638 (Why is no real title available?)
• scientific article; zbMATH DE number 1407673 (Why is no real title available?)
• A liberal type system for functional logic programs
• A new generic scheme for functional logic programming with constraints

Describes a project that uses

Uses Software

• Kernel-LEAF
• Maude
• ELAN
• 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 Q4452630)