7 citations · 25 across the 13 of their papers we have counts for
4 papers · 1 filter
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…
On the Learnability of Programming Language Semantics
Dan R. Ghica, Khulood Alyahya
Game semantics is a powerful method of semantic analysis for programming languages. It gives mathematically accurate models ("fully abstract") for a wide variety of programming lan…
Diagrammatic Semantics for Digital Circuits
Dan R. Ghica, Achim Jung, Aliaume Lopez
We introduce a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting. The main achievement of the paper is conceptua…
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…