Secd-m: a virtual machine for applicative programming

This publication has 5 references indexed in Scilit:

• Experiments, powerdomains and fully abstract models for applicative multiprogramming
  Lecture Notes in Computer Science, 1983
• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
  SIAM Journal on Computing, 1980
• A lazy evaluator
  Published by Association for Computing Machinery (ACM) ,1976
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964
• A Basis for a Mathematical Theory of Computation)
  Published by Elsevier ,1963