A tight, practical integration of relations and functions.

zbMATH Open1045.68001MaRDI QIDQ1880433FDOQ1880433

Harold Boley

Publication date: 28 September 2004

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

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Cited In (5)

• Flat matching
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the relation between context and sequence unification
• Solving equations with sequence variables and sequence functions

Uses Software

• BABEL
• LISP

   Recommendations

• Functional-logic integration via minimal reciprocal extensions 👍 👎
• Title not available (Why is that?) 👍 👎
• Logic programming, functional programming, and inductive definitions 👍 👎
• Title not available (Why is that?) 👍 👎
• A relational algebra for functional logic deductive databases 👍 👎

This page was built for publication: A tight, practical integration of relations and functions.

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