Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-order Functional Logic Language (1997)

Cached

Download Links

by Taro Suzuki , Koji Nakagawa , Tetsuo Ida
Venue:In Proceedings of Sixth International Joint Conference, ALP '97 - HOA '97, LNCS 1298
Citations:8 - 4 self