6 citations · 8 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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…