Asymptotic Improvement of Computations over Free Monads (Q3521997): Difference between revisions

@@ 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.1007/978-3-540-70594-9_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1590681881
@@ Property / OpenAlex ID: W1590681881 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Two-level types and parameterized modules
@@ Property / cites work: Two-level types and parameterized modules / rank @@
+Normal rank
@@ Property / cites work @@
+Data types à la carte
@@ Property / cites work: Data types à la carte / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic augment and generalised short cut fusion
@@ Property / cites work: Monadic augment and generalised short cut fusion / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic augment and generalised short cut fusion
@@ Property / cites work: Monadic augment and generalised short cut fusion / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of short-cut fusion and its correctness proof
+Normal rank