A tight, practical integration of relations and functions.

zbMath1045.68001MaRDI QIDQ1880433

Harold Boley

Publication date: 28 September 2004

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

Mathematics Subject Classification ID

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

Related Items (3)

Solving equations with sequence variables and sequence functions ⋮ Flat matching ⋮ On the relation between context and sequence unification

Uses Software

• BABEL
• LISP

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