Abstract Semantics for a Higher-Order Functional Language with Logic Variables
Abstract
Althoughthere is considerable experience in using languages that combine the functional and logic program-
Related papers
- Domain-Theoretic Semantics for Functional Logic Programming POPL 2026
- Extended Natural Semantics JFP 1993
- Higher-Order Functional Languages and Intensional Logic JFP 1999
- A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables TOPLAS 1991
- Skipping the binder bureaucracy with mixed embeddings in a semantics course (functional pearl) ICFP 2021
- A Domain-Theoretic Approach to Functional and Logic Programming JFP 1992
- Higher-Order Narrowing with Definitional Trees JFP 1999
- A Logical Approach to Deciding Semantic Subtyping TOPLAS 2015