scientific article; zbMATH DE number 2048606

zbMATH Open1066.68511MaRDI QIDQ4452630FDOQ4452630

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

Publication date: 1 March 2004

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

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

zbMATH Keywords

lazy narrowingalgebraic data constructor

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (6)

• Title not available (Why is that?)
• A Relation Algebraic Semantics for a Lazy Functional Logic Language
• A new generic scheme for functional logic programming with constraints
• Polymorphic types in functional logic programming
• Comparing Meseguer's rewriting logic with the logic CRWL
• Title not available (Why is that?)

Uses Software

• ELAN
• BABEL
• Maude
• Kernel-LEAF

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)