Year: 2017
Type: preprint
Abstract: 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 DSL which is structurally equivalent to our intended source language and which, when evaluated, generates pure lambda terms in continuation-passing-style.
Source: arXiv (Cornell University)
Authors: Scott, Phil, Obua, Steven, Fleuriot, Jacques
Institution: University of Edinburgh
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2604647984