5 citations · 9 across the 12 of their papers we have counts for
1 paper · 2 filters
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…