Author:
Miniussi Alain,Sherman David J.
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. R. M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1), 1977.
2. Wei-Ngan Chin. Safe fusion of functional expressions II: Further improvements. Journal of Functional Programming, 4(4):515–555, 1994.
3. Charles Consel. New insights into partial evaluation: the Schism experiment. In ESOP'88, Second European Symposium on Programming, volume LLNCS 300. Springer-Verlag, 1988.
4. Charles Consel. Report on Schism '92. Technical Report, Pacific Software Research Center, Oregon Graduate Institute of Science and Technology, 1992.
5. LNCS 724;R. Glück,1993
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献