Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types

Authors:
J. M. Almendros-Jiménez;Antonio Gavilanes-Franco;Ana Gil-Luezas
Affiliations:
-;-;-
Venue:
ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
Year:
1996

Citing 0
Cited 3

Improving Computations in a Typed Functional Logic Language

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A general framework for lazy functional logic programming with algebraic polymorphic types

Theory and Practice of Logic Programming
Partial Functions and Equality in Answer Set Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract