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

68N15: Theory of programming languages

68N18: Functional programming and lambda calculus

68-02: Research exposition (monographs, survey articles) pertaining to computer science

Related Items

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

Uses Software

• BABEL
• LISP