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