Typed Higher-Order Narrowing without Higher-Order Strategies-Reference-Cited by-同舟云学术

Typed Higher-Order Narrowing without Higher-Order Strategies

Published:1999 Issue: Volume: Page:335-352
ISSN:0302-9743
Container-title:Functional and Logic Programming
language:
Short-container-title:

Author:

Antoy Sergio,Tolmach Andrew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10705424_22

Reference15 articles.

1. Lecture Notes in Computer Science;S. Antoy,1997

2. Antoy, S., Echahed, R., Hanus, M.: Parallel evaluation strategies for functional logic languages. In: Proc. of the 14th Int. Conference on Logic Programming (ICLP 1997), Leuven, Belgium, pp. 138–152. MIT Press, Cambridge (1997)

3. Bell, J.M., Bellegarde, F., Hook, J.: Type-driven defunctionalization. In: Proc. 2nd International Conference on Functional Programming, pp. 25–37 (June 1997)

4. M. Hanus (ed.): Curry: An integrated functional logic language. Draft, January 13 (1999)

5. González-Moreno, J.C.: A correctness proof for Warren’s HO into FO translation. In: Proc. GULP 1993, Gizzeria Lido, IT, pp. 569–585 (October 1993)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A liberal type system for functional logic programs;Mathematical Structures in Computer Science;2014-11-10

2. Functional Logic Programming: From Theory to Curry;Programming Logics;2013

3. Liberal Typing for Functional Logic Programs;Programming Languages and Systems;2010

4. New Results on Type Systems for Functional Logic Programming;Functional and Constraint Logic Programming;2010

5. A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs;Logic-Based Program Synthesis and Transformation;2009