Functional Logic Origami Programming
No abstract available.
Related papers
- Constraint Functional Logic Programming for Origami Construction APLAS 2003
- Countdown: A case study in Origami programming JFP 2005
- Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement CAV 2019
- Scala for generic programmers JFP 2010
- Interleaving data and effects JFP 2015
- Denotational Abstract Interpretation of Functional Logic Programs SAS 1997
- Towards the Global Optimization of Functional Logic Programs CC 1994
- Mode Analysis of Functional Logic Programs SAS 1994