Algebraic semantics for functional logic programming with polymorphic order-sorted types

DOI10.1007/3-540-61735-3_20zbMath1355.68172OpenAlexW1794854756MaRDI QIDQ2956730

Antonio Gavilanes-Franco, Jesús M. Almendros-Jiménez, Ana Gil-Luezas

Publication date: 19 January 2017

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61735-3_20

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Partial Functions and Equality in Answer Set Programming

This page was built for publication: Algebraic semantics for functional logic programming with polymorphic order-sorted types