Default rules for Curry
From MaRDI portal
Publication:4593082
DOI10.1017/S1471068416000168zbMath1379.68037arXiv1605.01352MaRDI QIDQ4593082
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1605.01352
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
68N17: Logic programming
Related Items
Uses Software
Cites Work
- A sequential reduction strategy
- Computing in systems described by equations
- Declarative Processing of Semistructured Web Data
- A needed narrowing strategy
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
- An approach to declarative programming based on a rewriting logic
- A proof theoretic approach to failure in functional logic programming
- Functional Logic Programming: From Theory to Curry
- Declarative Programming with Function Patterns
- Overlapping Rules and Logic Variables in Functional Logic Programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item