Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. L. Augustsson. Compiling Pattern Matching. In Functional Programming Languages and Computer Architecture, volume 201 of Lecture Notes in Computer Science, pages 368–381. Springer-Verlag, 1985.
2. F. Bellegarde. A Transformation System Combining Partial Evaluation with Term Rewriting. Technical Report CS/E 94-010, Dept. of Computer Science, Oregon Graduate Institute, 1994.
3. Wei-Ngan Chin. Automatic Methods for Program Transformation. PhD thesis, Imperial College, University of London, July 1990.
4. L. Damas and R. Milner. Principal Type Schemes for Functional Programs. In Proceedings of the Ninth ACM Symposium on Principles of Programming Languages, pages 207–212, 1982.
5. A. Gill. Cheap Deforestation for Non-Strict Functional Languages. PhD thesis, Glasgow University, September 1995.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献