Foundational Issues in Implementing Constraint Logic Programming Systems
No abstract available.
Related papers
- Special issue on 'Logical frameworks and metalanguages' JFP 2003
- Functional logic overloading POPL 2002
- Focusing on Refinement Typing TOPLAS 2023
- MC2 A module calculus for Pure Type Systems JFP 2007
- On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs CC 1994
- Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism ESOP 1990
- An object-oriented calculus with term constraints JFP 2007
- Generically Automating Separation Logic by Functors, Homomorphisms, and Modules POPL 2025