scientific article; zbMATH DE number 3907744

MaRDI QIDQ3685162zbMATH OpenFDO

Authors Philip Wadler

Publication date 1985

zbMATH Keywords

pattern matchingbacktrackingfailureexception handlingfunctional languagelazy evaluationML/LCFtheorem proving using tacticals

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

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

(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

Describes a project that uses

Uses Software

• LCF
• ML

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)