Author:
Henglein Fritz,Mossin Christian
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. A. Bondorf. Automatic autoprojection of higher order recursive equations. Science of Computer Programming, 17 (Selected papers of ESOP '90, the 3rd European Symposium on Programming)(1–3):3–34, Dec. 1991.
2. M. A. Bulyonkov. Extracting polyvariant binding time analysis from polyvariant specializer. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 59–65. ACM Press, 1993.
3. C. Consel. Polyvariant binding-time analysis for applicative languages. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 66–77. ACM Press, 1993.
4. C. Consel. A tour of Schism: A partial evaluation system for higher-order applicative languages. In Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 145–154. ACM Press, 1993.
5. C. Consel and P. Jouvelot. Separate polyvariant binding-time analysis. Research report, Pacific Software Research Center, Oregon Graduate Institute of Science and Technology, Beaverton, Oregon, USA, 1993.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Type Theoretic Specification of Partial Evaluation;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014
2. Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators;ACM SIGPLAN Notices;2010-09-27
3. Tag-Free Combinators for Binding-Time Polymorphic Program Generation;Functional and Logic Programming;2010
4. Binding-Time Analysis for Mercury;Program Development in Computational Logic;2004
5. A Prototype Dependency Calculus;Programming Languages and Systems;2002