Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins (Q5398330): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank
@@ Property / cites work @@
+A semantics for shape
@@ Property / cites work: A semantics for shape / rank @@
+Normal rank
@@ Property / cites work @@
+The essence of the <scp>Iterator</scp> pattern
@@ Property / cites work: The essence of the <scp>Iterator</scp> pattern / rank @@
+Normal rank
@@ Property / cites work @@
+A programmable editor for developing structured documents based on bidirectional transformations
+Normal rank
@@ Property / cites work @@
+Deaccumulation techniques for improving provability
+Normal rank
@@ Property / cites work @@
+Update semantics of relational views
@@ Property / cites work: Update semantics of relational views / rank @@
+Normal rank
@@ Property / cites work @@
+Properties and update semantics of consistent views
+Normal rank