Constraint Functional Logic Programming for Origami Construction
No abstract available.
Related papers
- Functional Logic Origami Programming APLAS 2002
- Countdown: A case study in Origami programming JFP 2005
- Domain-Theoretic Semantics for Functional Logic Programming POPL 2026
- A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables TOPLAS 1991
- Collaborative Constraint Functional Logic Programming in an Open Environment APLAS 2001
- Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints ECOOP 2023
- Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata CAV 2024
- Fixpoints for the masses: programming with first-class Datalog constraints OOPSLA 2020