Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language

Authors:
Taro Suzuki;Koji Nakagawa;Tetsuo Ida
Affiliations:
-;-;-
Venue:
ALP '97-HOA '97 Proceedings of the 6th International Joint Conference on Algebraic and Logic Programming
Year:
1997

Citing 0
Cited 3

Functional and constraint logic programming

Constraints in computational logics
Cooperation of algebraic constraint domains in higher-order functional and logic programming

AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.01

Visualization

Abstract