Author:
Arenas-Sánchez P.,López-Fraguas F. J.,Rodríguez-Artalejo M.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Antoy S., Echahed R., Hanus M.: A Needed Narrowing Strategy. In Proc. POPL'94, pp. 268–279, 1994.
2. Arenas-Sánchez P., Gil-Luezas A., López-Fraguas F.J.: Combining Lazy Narrowing with Disequality Constraints. In Proc. PLILP'94, Springer LNCS 844, pp. 385–399, 1994.
3. Arenas-Sánchez P., Rodríguez-Artalejo M.: A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. In Proc. TAPSOFT'97, Springer LNCS 1214, pp. 453–464, 1997.
4. Arenas-Sánchez P., Rodríguez-Artalejo M.: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. In Proc. ILPS'97, the MIT Press, pp. 53–69, 1997.
5. Banâtre, J.P. and Le Métayer, D.: The Gamma model and its discipline of programming. Science of Computer Programming 15, pp. 55–77, 1990.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献