A consistent extension of the lambda-calculus as a base for functional programming languages

This publication has 6 references indexed in Scilit:

• A network of microprocessors to execute reduction languages, part I
  International Journal of Parallel Programming, 1979
• A new implementation technique for applicative languages
  Software: Practice and Experience, 1979
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• LCF considered as a programming language
  Theoretical Computer Science, 1977
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964