1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.PL2019
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.PL2017★ 1 cited
Abductive functional programming, a semantic approach
Koko Muroya, Steven Cheung, Dan R. Ghica
We propose a call-by-value lambda calculus extended with a new construct inspired by abductive inference and motivated by the programming idioms of machine learning. Although synta…
cs.PL2017
The Dynamic Geometry of Interaction Machine: A Call-by-need Graph Rewriter
Koko Muroya, Dan R. Ghica
Girard's Geometry of Interaction (GoI), a semantics designed for linear logic proofs, has been also successfully applied to programming language semantics. One way is to use abstra…