Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. L. Augustsson, Compiling pattern matching. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, Nancy, France, September 1985. LNCS 201, Springer-Verlag, 1985.
2. L. Augustsson, Compiling lazy functional languages, Part II. Ph.D. dissertation, Department of Computer Science, Chalmers Tekniska Högskola, Göteborg, Sweden, 1987.
3. R. M. Burstall and J. Darlington, A transformation system for developing recursive programs. Journal of the ACM, 24(1):44–67, January 1977.
4. M. K. Davis, Deforestation: Transformation of functional programs to eliminate intermediate trees. M.Sc. dissertation, Programming Research Group, Oxford University, September 1987.
5. L. Damas and R. Milner, Principal type schemes for functional programs. In Proceedings of the ACM Symposium on Principles of Programming Languages, January 1982.
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs;Proceedings of the ACM on Programming Languages;2024-08-15
2. Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis;Proceedings of the ACM on Programming Languages;2024-06-20
3. Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations;Proceedings of the ACM on Management of Data;2023-06-13
4. A Modern C++ Point of View of Programming in Image Processing;Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2022-11-29
5. From functional to imperative: combining destination-passing style and views;Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming;2022-06-13