Author:
Louvet Pascale,Ridoux Olivier
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. H. Barendregt and K. Hemerik. Types in lambda calculi and programming languages. In N. Jones, editor, European Symp. on Programming, LNCS 432, pages 1–35, Springer-Verlag, 1990.
2. P. Brisset and O. Ridoux. The architecture of an implementation of AProlog: Prolog/Mali. In Workshop on λProlog, Philadelphia, PA, USA, 1992. ftp://ftp.irisa.fr/local/lande.
3. K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293–322, Plenum Press, New-York, USA, 1978.
4. C.M. Elliott. Higher-order unification with dependent function types. In N. Derschowitz, editor, 3rd Int. Conf. Rewriting Techniques and Applications, LNCS 355, pages 121–136, Springer-Verlag, 1989.
5. C.M. Elliott and F. Pfenning. A semi-functional implementation of a higher-order logic programming language. In P. Lee, editor, Topics in Advanced Language Implementation, pages 289–325, MIT Press, 1991.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献