Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. L. Augustsson. A compiler for Lazy ML. In Proc. ACM Conf. Lisp and Functional Programming, Austin, Texas, August 1984.
2. L. Augustsson. Compiling pattern matching. In Functional Programming Languages and Computer Architecture, Nancy, LNCS 201, Springer-Verlag, September 1985.
3. L. Cardelli. Compiling a functional language. In Proc. ACM Conf. Lisp and Functional Programming, Austin, Texas, August 1984.
4. H. Comon. An effective method for handling initial algebras. In Proc. 1st Workshop on Algebraic and Logic Programming, Gaussig, 1988.
5. H. Comon. Unification et Disunification: Théorie et Applications. Thèse de Doctorat, I.N.P. de Grenoble, France, 1988.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献