Author:
Chin Wei-Ngan,Darlington John
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software,General Computer Science
Reference32 articles.
1. E. Astesiano and G. Costa. Languages with reducing reflexive types. InAutomata, Languages and Programming, (LNCS, vol 85, pp. 38–50) Berlin Heidelberg New York: Springer, 1980.
2. L. Augustsson and T. Johnsson. The Chalmers' Lazy ML compiler.The Computer Journal, 32(2):127–141, February 1989.
3. R.M. Burstall and J. Darlington. A transformation system for developing recursive programs.Journal of ACM, 24(1):44–67, January 1977.
4. D. Bjørner, A.P. Ershov, and N.D. Jones.Workshop on Partial Evaluation and Mixed Computations. Gl Avarnes, Denmark, North-Holland, 1988.
5. J. M. Bell and J. Hook. Defunctionalization of typed programs. Tech Report 94-025, Oregon Graduate Institute, February 1994.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Defunctionalization with Dependent Types;Proceedings of the ACM on Programming Languages;2023-06-06
2. Predicate Specialization for Definitional Higher-Order Logic Programs;Logic-Based Program Synthesis and Transformation;2019
3. Higher-order logic programming: An expressive language for representing qualitative preferences;Science of Computer Programming;2018-04
4. TIP: Tools for Inductive Provers;Logic for Programming, Artificial Intelligence, and Reasoning;2015
5. Modular polymorphic defunctionalization;Computer Science and Information Systems;2014