Compilation of non-linear, second order patterns on S-expressions

This publication has 8 references indexed in Scilit:

• Expansion-passing style: A general macro mechanism
  Higher-Order and Symbolic Computation, 1988
• Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
  New Generation Computing, 1988
• A functional language for the specification of complex tree transformations
  Lecture Notes in Computer Science, 1988
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• Compiling pattern matching
  Lecture Notes in Computer Science, 1985
• LISP
  Published by Springer Nature ,1983
• Towards a programming apprentice
  IEEE Transactions on Software Engineering, 1975
• Proving Properties of Programs by Structural Induction
  The Computer Journal, 1969