Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853): Difference between revisions

@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Synchronous Kahn networks
@@ Property / cites work: Synchronous Kahn networks / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Functional reactive animation
@@ Property / cites work: Functional reactive animation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284985
@@ Property / cites work: Q4284985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
+Normal rank
@@ Property / cites work @@
+Causal commutative arrows and their optimization
@@ Property / cites work: Causal commutative arrows and their optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic optimization for functional reactive programming using generalized algebraic data types
+Normal rank
@@ Property / cites work @@
+Q4415120
@@ Property / cites work: Q4415120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+A new notation for arrows
@@ Property / cites work: A new notation for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Safe functional reactive programming through dependent types
+Normal rank
@@ Property / cites work @@
+Q4532196
@@ Property / cites work: Q4532196 / rank @@
+Normal rank