Purely functional lazy nondeterministic programming (Q4918241): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics for declarative multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+Combinators for breadth-first search
@@ Property / cites work: Combinators for breadth-first search / rank @@
+Normal rank
@@ Property / cites work @@
+On a Tighter Integration of Functional and Logic Programming
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARL
@@ Property / cites work: FUNCTIONAL PEARL / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARL <i>Parallel Parsing Processes</i>
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Logic continuations
@@ Property / cites work: Logic continuations / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796811000189
+Normal rank
@@ Property / OpenAlex ID @@
+W2681883877
@@ Property / OpenAlex ID: W2681883877 / rank @@
+Normal rank