1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Phil Scott, Steven Obua, Jacques Fleuriot
We present a marriage of functional and structured imperative programming that embeds in pure lambda calculus. We describe how we implement the core of this language in a monadic D…