Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359): Difference between revisions

@@ Property / cites work @@
+Using circular programs to eliminate multiple traversals of data
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137150
@@ Property / cites work: Q3137150 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and loose reasoning is morally correct
@@ Property / cites work: Fast and loose reasoning is morally correct / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472881
@@ Property / cites work: Q5472881 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced Functional Programming
@@ Property / cites work: Advanced Functional Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of value recursion for Monadic Input/Output
+Normal rank
@@ Property / cites work @@
+Foundations for structured programming with GADTs
@@ Property / cites work: Foundations for structured programming with GADTs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738113
@@ Property / cites work: Q4738113 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic parsing in Haskell
@@ Property / cites work: Monadic parsing in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Free theorems in the presence of             <i>seq</i>
@@ Property / cites work: Free theorems in the presence of <i>seq</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771648
@@ Property / cites work: Q3771648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529774
@@ Property / cites work: Q4529774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395336
@@ Property / cites work: Q3395336 / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight fusion by fixed point promotion
@@ Property / cites work: Lightweight fusion by fixed point promotion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4816998
@@ Property / cites work: Q4816998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205071
@@ Property / cites work: Q4205071 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear, bounded, functional pretty-printing
@@ Property / cites work: Linear, bounded, functional pretty-printing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705620
@@ Property / cites work: Q4705620 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and Pragmatics of New Shortcut Fusion Rules
+Normal rank
@@ Property / cites work @@
+Using circular programs to deforest in accumulating parameters
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank