A fully abstract semantics for a functional language with logic variables
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 294-303
- https://doi.org/10.1109/lics.1989.39184
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A fully abstract semantics for a functional language with logic variablesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Functional programing and the logical variablePublished by Association for Computing Machinery (ACM) ,1985
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976