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

@@ 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