Purely functional lazy nondeterministic programming

DOI10.1017/S0956796811000189zbMath1262.68032OpenAlexW2681883877MaRDI QIDQ4918241

Chung-Chieh Shan, Sebastian Fischer, Oleg Kiselyov

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

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

Related Items (6)

Compiling a Functional Logic Language: The Fair Scheme ⋮ Counting Successes: Effects and Transformations for Non-deterministic Programs ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Generating constrained random data with uniform distribution ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics ⋮ Not by equations alone: Reasoning with extensible effects

Uses Software

• OCaml

Cites Work

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

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