7 citations · 45 across the 22 of their papers we have counts for
Showing 2019 · cs.PLShow all
2 papers · 2 filters
cs.PL2019★ 1 cited
Transparent Synchronous Dataflow
Steven W. T. Cheung, Dan R. Ghica, Koko Muroya
Dataflow programming is a popular and convenient programming paradigm in systems modelling, optimisation, and machine learning. It has a number of advantages, for instance the lack…
cs.PL2019
A robust graph-based approach to observational equivalence
Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
We propose a new step-wise approach to proving observational equivalence, and in particular reasoning about fragility of observational equivalence. Our approach is based on what we…