scientific article; zbMATH DE number 1407673

zbMATH Open0944.68016MaRDI QIDQ4940928FDOQ4940928

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

Publication date: 26 September 2000

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

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

zbMATH Keywords

functional logic programming

Mathematics Subject Classification ID

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

Cited In (7)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Functional Logic Programming: From Theory to Curry

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)