scientific article; zbMATH DE number 3907744
From MaRDI portal
Publication:3685162
zbMATH Open0568.68007MaRDI QIDQ3685162FDOQ3685162
Authors: Philip Wadler 
Publication date: 1985
Title of this publication is not available (Why is that?)
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
pattern matchingbacktrackingfailureexception handlingfunctional languagelazy evaluationML/LCFtheorem proving using tacticals
General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (13)
- Chemical foundations of distributed aspects
- Combinator Parsing: A Short Tutorial
- A System F with Call-by-Name Exceptions
- Transforming functional logic programs into monadic functional programs
- Eilenberg-Moore monoids and backtracking monad transformers
- A tactic calculus. --- Abridged version
- Generic constructions for behavioral specifications
- A functional theory of exceptions
- Effect polymorphism in higher-order logic (proof pearl)
- Fault-tolerant functional reactive programming (extended version)
- Combining predicate transformer semantics for effects: a case study in parsing regular languages
- Counting successes: effects and transformations for non-deterministic programs
- Implementing a library for probabilistic programming using non-strict non-determinism
Uses Software
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)
