Back to Search
Start Over
Compiling Purely Functional Structured Programs
- Publication Year :
- 2017
-
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.<br />Comment: 5 pages
- Subjects :
- Computer Science - Programming Languages
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.1703.05227
- Document Type :
- Working Paper