Folding left and right matters: Direct style, accumulators, and continuations (Q6099203): Difference between revisions

@@ Property / cites work @@
+Q5621091
@@ Property / cites work: Q5621091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947094
@@ Property / cites work: Q3947094 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q3058231
@@ Property / cites work: Q3058231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3782766
@@ Property / cites work: Q3782766 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4082975
@@ Property / cites work: Q4082975 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Properties of Programs by Structural Induction
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+The Calculi of Lambda Conversion. (AM-6)
@@ Property / cites work: The Calculi of Lambda Conversion. (AM-6) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293531
@@ Property / cites work: Q4293531 / rank @@
+Normal rank
@@ Property / cites work @@
+The Equivalence of Certain Computations
@@ Property / cites work: The Equivalence of Certain Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Folding left and right over Peano numbers
@@ Property / cites work: Folding left and right over Peano numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992669
@@ Property / cites work: Q3992669 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Pearls
@@ Property / cites work: Functional Pearls / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723934
@@ Property / cites work: Q2723934 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of list iteration
@@ Property / cites work: On the power of list iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q5330638
@@ Property / cites work: Q5330638 / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on the universality and expressiveness of fold
+Normal rank
@@ Property / cites work @@
+Factorising folds for faster functions
@@ Property / cites work: Factorising folds for faster functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3284160
@@ Property / cites work: Q3284160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Origins of Recursive Function Theory
@@ Property / cites work: Origins of Recursive Function Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Paramorphisms
@@ Property / cites work: Paramorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+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 @@
+Q4692506
@@ Property / cites work: Q4692506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003339
@@ Property / cites work: Q4003339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932276
@@ Property / cites work: Q3932276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3721784
@@ Property / cites work: Q3721784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996921
@@ Property / cites work: Q3996921 / rank @@
+Normal rank