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

@@ Property / describes a project that uses @@
+Yampa
@@ Property / describes a project that uses: Yampa / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LUSTRE
@@ Property / describes a project that uses: LUSTRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fran
@@ Property / describes a project that uses: Fran / 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-011-9068-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1566348926
@@ Property / OpenAlex ID: W1566348926 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:656853