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…