Purely functional lazy non-deterministic programming (Q2936798): Difference between revisions

@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KiCS2
@@ Property / describes a project that uses: KiCS2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Church
@@ Property / describes a project that uses: Church / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Curry
@@ Property / describes a project that uses: Curry / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+EasyCheck
@@ Property / describes a project that uses: EasyCheck / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1145/1596550.1596556
+Normal rank
@@ Property / OpenAlex ID @@
+W2108792311
@@ Property / OpenAlex ID: W2108792311 / rank @@
+Normal rank