Unifying Theories of Programming with Monads (Q3455643): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MapReduce
@@ Property / describes a project that uses: MapReduce / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2138575529
@@ Property / OpenAlex ID: W2138575529 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Testing Probabilistic Processes
@@ Property / cites work: Remarks on Testing Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+Predicative programming Part I
@@ Property / cites work: Predicative programming Part I / rank @@
+Normal rank
@@ Property / cites work @@
+A Couple of Novelties in the Propositional Calculus
+Normal rank
@@ Property / cites work @@
+Programs are predicates
@@ Property / cites work: Programs are predicates / rank @@
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Every Standard Construction is Induced by a Pair of Adjoint Functors
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Automated Proof Support for Probabilistic Distributed Systems
+Normal rank
@@ Property / cites work @@
+Refinement algebra for probabilistic programs
@@ Property / cites work: Refinement algebra for probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Probability Theory in the Eindhoven Style
+Normal rank
@@ Property / cites work @@
+Refinement-oriented probability for CSP
@@ Property / cites work: Refinement-oriented probability for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers of Algebraic Effects
@@ Property / cites work: Handlers of Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+A functional theory of exceptions
@@ Property / cites work: A functional theory of exceptions / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3455643