Using types to avoid redundant specialization

This publication has 8 references indexed in Scilit:

• Binding time analysis for high order untyped functional languages
  Published by Association for Computing Machinery (ACM) ,1990
• Explanation-based generalisation = partial evaluation
  Artificial Intelligence, 1988
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• Explanation-Based Learning: An Alternative View
  Machine Learning, 1986
• Explanation-Based Generalization: A Unifying View
  Machine Learning, 1986
• Polyvariant mixed computation for analyzer programs
  Acta Informatica, 1984
• An ideal model for recursive polymorphic types
  Published by Association for Computing Machinery (ACM) ,1984
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977