scientific article; zbMATH DE number 3907744
From MaRDI portal
Publication:3685162
Recommendations
- Functional logic programming with failure: a set-oriented view
- Handling exceptions in logic programming without negation as failure
- Reporting failures in functional logic programs
- A proof theoretic approach to failure in functional logic programming
- A new programming technique for lazy functional languages
- scientific article; zbMATH DE number 1942461
- An axiomatic treatment of exception handling in an expression-oriented language
- Failure and equality in functional logic programming
Cited in
(15)- A tactic calculus. --- Abridged version
- Chemical foundations of distributed aspects
- Transforming functional logic programs into monadic functional programs
- Counting successes: effects and transformations for non-deterministic programs
- A System F with Call-by-Name Exceptions
- scientific article; zbMATH DE number 897901 (Why is no real title available?)
- Eilenberg-Moore monoids and backtracking monad transformers
- Combining predicate transformer semantics for effects: a case study in parsing regular languages
- Implementing a library for probabilistic programming using non-strict non-determinism
- Fault-tolerant functional reactive programming (extended version)
- Combinator Parsing: A Short Tutorial
- Effect polymorphism in higher-order logic (proof pearl)
- The functional machine calculus. III: Control
- Generic constructions for behavioral specifications
- A functional theory of exceptions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3685162)
