Compiling Purely Functional Structured Programs
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2017
- DOI:
- 10.48550/arXiv.1703.05227
- arXiv:
- arXiv:1703.05227
- Bibcode:
- 2017arXiv170305227S
- Keywords:
-
- Computer Science - Programming Languages
- E-Print:
- 5 pages