Tim: A simple, lazy abstract machine to execute supercombinators

This publication has 7 references indexed in Scilit:

• The categorical abstract machine
  Science of Computer Programming, 1987
• When chasing your tail saves time
  Information Processing Letters, 1986
• Code generation techniques for functional languages
  Published by Association for Computing Machinery (ACM) ,1986
• Strictness detection in non-flat domains
  Lecture Notes in Computer Science, 1986
• Serial combinators: "optimal" grains of parallelism
  Published by Springer Nature ,1985
• A combinator-based compiler for a functional language
  Published by Association for Computing Machinery (ACM) ,1984
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964