PAKCS
From MaRDI portal
Cited in
(44)- Compiling collapsing rules in certain constructor systems
- A Virtual Machine for Functional Logic Computations
- Improving the efficiency of non-deterministic computations
- Dynamic predicates in functional logic programs
- The narrowing-driven approach to functional logic program specialization
- Programming with narrowing: a tutorial
- The integration of functions into logic programming: From theory to practice
- Transforming Boolean equalities into constraints
- Implementing relational specifications in a constraint functional logic language
- Declaring numbers
- scientific article; zbMATH DE number 5007864 (Why is no real title available?)
- A Relation Algebraic Semantics for a Lazy Functional Logic Language
- Evaluation strategies for functional logic programming
- ObjectCurry
- DACTL
- BABEL
- KiCS2
- Mercury
- Curry
- FACTORIE
- Kernel-LEAF
- TituRel
- TeaBag
- EasyCheck
- TOY
- TK
- Freja
- Hat
- Hood
- CHR.js
- FlatCurry
- PFLP
- Transforming functional logic programs into monadic functional programs
- Compiling a functional logic language: \textit{The Fair Scheme}
- Rules + strategies for transforming lazy functional logic programs
- A framework for interpreting traces of functional logic computations
- Logic Programming
- On a Tighter Integration of Functional and Logic Programming
- Functional Logic Programming: From Theory to Curry
- Lazy context cloning for non-deterministic graph rewriting
- From Boolean equalities to constraints
- Implementing functional logic languages using multiple threads and stores
- Reporting failures in functional logic programs
- Implementing a library for probabilistic programming using non-strict non-determinism
This page was built for software: PAKCS
