A fully abstract semantics for a first-order functional language with logic variables

This publication has 8 references indexed in Scilit:

• Abstract semantics for a higher-order functional language with logic variables
  Published by Association for Computing Machinery (ACM) ,1992
• I-structures: data structures for parallel computing
  ACM Transactions on Programming Languages and Systems, 1989
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989
• 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
• Power domains
  Journal of Computer and System Sciences, 1978
• LCF considered as a programming language
  Theoretical Computer Science, 1977
• A Powerdomain Construction
  SIAM Journal on Computing, 1976