Functional un\(|\)unparsing (Q1929354): Difference between revisions

@@ Property / author @@
+Chung-Chieh Shan
@@ Property / author: Chung-Chieh Shan / rank @@
+Normal rank
@@ 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/s10990-012-9087-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1994127209
@@ Property / OpenAlex ID: W1994127209 / rank @@
+Normal rank
@@ Property / cites work @@
+On typing delimited continuations: Three new solutions to the printf problem
+Normal rank
@@ Property / cites work @@
+Polymorphic Delimited Continuations
@@ Property / cites work: Polymorphic Delimited Continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
+Normal rank
@@ Property / cites work @@
+Functional unparsing
@@ Property / cites work: Functional unparsing / rank @@
+Normal rank
@@ Property / cites work @@
+A monadic framework for delimited continuations
@@ Property / cites work: A monadic framework for delimited continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651734
@@ Property / cites work: Q3651734 / rank @@
+Normal rank
@@ Property / cites work @@
+Formatting: a class act
@@ Property / cites work: Formatting: a class act / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on the universality and expressiveness of fold
+Normal rank
@@ Property / cites work @@
+A sound and complete axiomatization of delimited continuations
+Normal rank
@@ Property / cites work @@
+Final Data Types and Their Specification
@@ Property / cites work: Final Data Types and Their Specification / rank @@
+Normal rank
@@ Property / cites work @@
+Delimited dynamic binding
@@ Property / cites work: Delimited dynamic binding / rank @@
+Normal rank
@@ Property / cites work @@
+What is a purely functional language?
@@ Property / cites work: What is a purely functional language? / rank @@
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank
@@ Property / cites work @@
+Final algebra semantics and data type extensions
@@ Property / cites work: Final algebra semantics and data type extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Continuation-Based Program Transformation Strategies
+Normal rank
@@ Property / cites work @@
+Deriving Target Code as a Representation of Continuation Semantics
+Normal rank
@@ Property / cites work @@
+Specifications, models, and implementations of data abstractions
+Normal rank
@@ Property / cites work @@
+Q3680263
@@ Property / cites work: Q3680263 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded recursive datatype constructors
@@ Property / cites work: Guarded recursive datatype constructors / rank @@
+Normal rank