Amalgamating functional and relational programming through the use of equality axioms

• Authors:

• Keitaro Yukawa

• Affiliations:

• -

• Venue:
• Amalgamating functional and relational programming through the use of equality axioms
• Year:
• 1987