Compiling with Continuations and LLVM

LLVM is an infrastructure for code generation and low-level optimizations, which has been gaining popularity as a backend for both research and industrial compilers, including many compilers for functional languages. While LLVM provides a relatively easy path to high-quality native code, its design...

Full description

Bibliographic Details
Main Authors: Kavon Farvardin, John Reppy
Format: Article
Language:English
Published: Open Publishing Association 2018-12-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1805.08842v1