Purely functional lazy nondeterministic programming

DOI10.1017/S0956796811000189MaRDI QIDQ4918241zbMATH OpenOpenAlexFDO

Authors Sebastian Fischer, Oleg Kiselyov, Chung-Chieh Shan

Publication date 24 April 2013

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796811000189

zbMATH Keywords

nonstrict evaluation

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Purely functional lazy non-deterministic programming
• A new programming technique for lazy functional languages
• scientific article; zbMATH DE number 675533
• The dynamic compilation of lazy functional programs
• Efficient intensional implementation for lazy functional languages
• The semantics of lazy functional languages
• Axioms for strict and lazy functional programs

Cites work

• An approach to declarative programming based on a rewriting logic
• Combinators for breadth-first search
• FUNCTIONAL PEARL
• FUNCTIONAL PEARL Parallel Parsing Processes
• Logic continuations
• On a Tighter Integration of Functional and Logic Programming
• Operational semantics for declarative multi-paradigm languages
• The call-by-need lambda calculus
• The call-by-need lambda calculus

Cited in

(19)

• A new programming technique for lazy functional languages
• State will do
• Implicit self-adjusting computation for purely functional programs
• Purely functional lazy non-deterministic programming
• Transforming functional logic programs into monadic functional programs
• scientific article; zbMATH DE number 5990080 (Why is no real title available?)
• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
• scientific article; zbMATH DE number 1810493 (Why is no real title available?)
• Counting successes: effects and transformations for non-deterministic programs
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
• Compiling a functional logic language: \textit{The Fair Scheme}
• Unifying theories of programming with monads
• Nondeterminism with Referential Transparency in Functional Programming Languages
• Not by equations alone. Reasoning with extensible effects
• Implementing a library for probabilistic programming using non-strict non-determinism
• Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
• Generating constrained random data with uniform distribution
• FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
• \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Purely functional lazy nondeterministic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918241)