Finally tagless observable recursion for an abstract grammar model (Q5300699): Difference between revisions

@@ Property / cites work @@
+What is a purely functional language?
@@ Property / cites work: What is a purely functional language? / rank @@
+Normal rank
@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
+Normal rank
@@ Property / cites work @@
+Greibach normal form transformation revisited.
@@ Property / cites work: Greibach normal form transformation revisited. / rank @@
+Normal rank