An Algebraic Semantics for Backus’ Functional Programming Language with Infinite Objects

This publication has 11 references indexed in Scilit:

• An algebraic semantics for busy (data-driven) and lazy (demand-driven) evaluation and its application to a functional language
  Published by Springer Nature ,2006
• Data-Driven and Demand-Driven Computer Architecture
  ACM Computing Surveys, 1982
• Algorithmic Language and Program Development
  Published by Springer Nature ,1982
• Function level programs as mathematical objects
  Published by Association for Computing Machinery (ACM) ,1981
• A network of microprocessors to execute reduction languages, part II
  International Journal of Parallel Programming, 1979
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• A lazy evaluator
  Published by Association for Computing Machinery (ACM) ,1976
• Completeness problem of one-dimensional binary scope-3 tessellation automata
  Journal of Computer and System Sciences, 1974
• Recursive functions of symbolic expressions and their computation by machine, Part I
  Communications of the ACM, 1960